955 search results - page 129 / 191 » Tractable Temporal Reasoning |
101
click to vote
PODS
2010
ACM
15 years 2 days ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
110
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
102
click to vote
IANDC
2008
14 years 12 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
TOG
2008
14 years 11 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
100
click to vote
AEI
2002
14 years 11 months ago
2002
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...