Results 1  10
of
631
Data Exchange: Semantics and Query Answering
 In ICDT
, 2003
"... Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema that reflects the source data as accurately as possible. In this paper, we address foundational and algorithmic issues related to the semantics of data exchange and to query answe ..."
Abstract

Cited by 427 (41 self)
 Add to MetaCart
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema that reflects the source data as accurately as possible. In this paper, we address foundational and algorithmic issues related to the semantics of data exchange and to query
Evolving Virtual Creatures
 in SIGGRAPH 94 Conference Proceedings, ser. Annual Conference Series
, 1994
"... This paper describes a novel system for creating virtual creatures that move and behave in simulated threedimensional physical worlds. The morphologies of creatures and the neural systems for controlling their muscle forces are both generated automatically using genetic algorithms. Different fitnes ..."
Abstract

Cited by 386 (1 self)
 Add to MetaCart
the morphology and the neural circuitry of these creatures. This genetic language defines a hyperspace containing an indefinite number of possible creatures with behaviors, and when it is searched using optimization techniques, a variety of successful and interesting locomotion strategies emerge, some of which
Automorphisms of indefinite . . .
, 2010
"... Every even indefinite binary form occurs as the Picard lattice of some K3surface. For these there is an explicit description for the group of isometries, or automorphs as they are called in classical literature [4, 8]. This group is always infinite, while the automorphism group of the correspondin ..."
Abstract
 Add to MetaCart
Every even indefinite binary form occurs as the Picard lattice of some K3surface. For these there is an explicit description for the group of isometries, or automorphs as they are called in classical literature [4, 8]. This group is always infinite, while the automorphism group
Indefinite Stochastic Linear Quadratic Control and Generalized Differential Riccati Equation
"... We consider a stochastic linear–quadratic (LQ) problem with possible indefinite cost weighting matrices for the state and the control. An outstanding open problem is to identify an appropriate Riccatitype equation whose solvability is equivalent to the solvability of this possibly indefinite LQ pro ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
We consider a stochastic linear–quadratic (LQ) problem with possible indefinite cost weighting matrices for the state and the control. An outstanding open problem is to identify an appropriate Riccatitype equation whose solvability is equivalent to the solvability of this possibly indefinite LQ
Tits. NewtonKKT interiorpoint methods for indefinite quadratic programming
 Comput. Optim. Appl
"... Two interiorpoint algorithms are proposed and analyzed, for the (local) solution of (possibly) indefinite quadratic programming problems. They are of the NewtonKKT variety in that (much like in the case of primaldual algorithms for linear programming) search directions for the “primal ” variables ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
Two interiorpoint algorithms are proposed and analyzed, for the (local) solution of (possibly) indefinite quadratic programming problems. They are of the NewtonKKT variety in that (much like in the case of primaldual algorithms for linear programming) search directions for the “primal
Modals as distributive indefinites
 Natural Language Semantics
"... Abstract: Modals in St’át’imcets (Lillooet Salish) show two differences from their counterparts in English. First, they show variable quantificational force, systematically allowing both possibility and necessity interpretations; and second, they lexically restrict the conversational background, dis ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
Abstract: Modals in St’át’imcets (Lillooet Salish) show two differences from their counterparts in English. First, they show variable quantificational force, systematically allowing both possibility and necessity interpretations; and second, they lexically restrict the conversational background
Timoshenko systems with indefinite damping
, 2008
"... We consider the Timoshenko system in a bounded domain (0,L) ⊂ R1. The system has an indefinite damping mechanism, i.e. with a damping function a = a(x) possibly changing sign, present only in the equation for the rotation angle. We shall prove that the system is still exponentially stable under the ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We consider the Timoshenko system in a bounded domain (0,L) ⊂ R1. The system has an indefinite damping mechanism, i.e. with a damping function a = a(x) possibly changing sign, present only in the equation for the rotation angle. We shall prove that the system is still exponentially stable under
Another Look at Indefinites in Islands
"... This paper contributes to the semantic typology of indefinites by presenting experimental evidence on the scopal behavior of the Spanish indefinites un and algún, and by discussing the theoretical implications of these data. Two offline experiments investigate exceptional scope in relative claus ..."
Abstract
 Add to MetaCart
ses and in conditionals. These studies show that while in relative clauses exceptional scope is possible for both indefinites (although it is harder for algún), in conditionals, exceptional scope is blocked for algún and available (but difficult) for un. The difference between the two types of islands is challenging
Indefinite Reasoning with Definite Rules
"... In this paper we present a novel explanation of the source of indefinite information in common sense reasoning: Indefinite information arises from reports about the world expressed in terms of concepts that have been defined using only definite rules. Adopting this point of view, we show that first ..."
Abstract
 Add to MetaCart
In this paper we present a novel explanation of the source of indefinite information in common sense reasoning: Indefinite information arises from reports about the world expressed in terms of concepts that have been defined using only definite rules. Adopting this point of view, we show that first
Temporal Query Processing With Indefinite Information
 Artificial Intelligence in Medicine
, 1991
"... Time is an important aspect of information in medical domains. In this paper, we adopt Allen's influential interval algebra framework for representing temporal information. The interval algebra allows the representation of indefinite and incomplete information which is necessary in many applica ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
Time is an important aspect of information in medical domains. In this paper, we adopt Allen's influential interval algebra framework for representing temporal information. The interval algebra allows the representation of indefinite and incomplete information which is necessary in many
Results 1  10
of
631