Sciweavers

192 search results - page 8 / 39
» Realization theory of Nash systems
Sort
View
PODS
2008
ACM
152views Database» more  PODS 2008»
14 years 7 months ago
Towards a theory of schema-mapping optimization
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...
Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Luci...
BIRTHDAY
2009
Springer
14 years 2 months ago
Asynchronous Congestion Games
We introduce a new class of games, asynchronous congestion games (ACGs). In an ACG, each player has a task that can be carried out by any element of a set of resources, and each r...
Michal Penn, Maria Polukarov, Moshe Tennenholtz
CIE
2007
Springer
14 years 1 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
ACL
1998
13 years 9 months ago
An Efficient Kernel for Multilingual Generation in Speech-to-Speech Dialogue Translation
We present core aspects of a fully implemented generation component in a multilingual speechto-speech dialogue translation system. Its design was particularly influenced by the ne...
Tilman Becker, Wolfgang Finkler, Anne Kilger, Pete...
BC
2005
101views more  BC 2005»
13 years 7 months ago
A control theory approach to the analysis and synthesis of the experimentally observed motion primitives
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
Francesco Nori, Ruggero Frezza