1860 search results - page 121 / 372 » A Temporal Logic of Robustness |
237
click to vote
GIS
2006
ACM
16 years 1 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
110
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
103
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a new blocking logic to block unknowns for temporal compactors. The proposed blocking logic can reduce data volume required to control the blocking logic and a...
91
Voted
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
135
Voted
TIME
2009
IEEE
15 years 7 months ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...