Sciweavers

223 search results - page 23 / 45
» Temporal Constraint Reasoning With Preferences
Sort
View
SSD
2001
Springer
122views Database» more  SSD 2001»
14 years 2 months ago
Calendars, Time Granularities, and Automata
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
Ugo Dal Lago, Angelo Montanari
IJIS
2010
110views more  IJIS 2010»
13 years 7 months ago
The ramification problem in temporal databases: Concurrent execution
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
Nikos Papadakis, Dimitris Plexousakis, Grigoris An...
CLIMA
2011
12 years 9 months ago
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
Guido Governatori, Antonino Rotolo
CVPR
2007
IEEE
14 years 11 months ago
Inferring Temporal Order of Images From 3D Structure
In this paper, we describe a technique to temporally sort a collection of photos that span many years. By reasoning about persistence of visible structures, we show how this sorti...
Grant Schindler, Frank Dellaert, Sing Bing Kang
DAGSTUHL
2008
13 years 11 months ago
Constraint Satisfaction Problems with Infinite Templates
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
Manuel Bodirsky