1466 search results - page 28 / 294 » Complexity of Reasoning over Temporal Data Models |
128
Voted
PODS
2010
ACM
15 years 4 months 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...
119
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an architecture for a memory model that facilitates versatile reasoning mechanisms over the beliefs stored in an agent’s belief base. Based on an approach fo...
146
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...
132
Voted
CVIU
2004
15 years 3 months ago
2004
We present an approach for detecting and describing complex buildings with flat or complex rooftops by using multiple, overlapping images of the scene. We find 3-D rooftop boundar...
155
click to vote
EXACT
2008
15 years 6 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...