Sciweavers

209 search results - page 14 / 42
» Reasoning with Intervals on Granules
Sort
View
ICTAI
2008
IEEE
14 years 1 months ago
Probabilistic Continuous Constraint Satisfaction Problems
Constraint programming has been used in many applications where uncertainty arises to model safe reasoning. The goal of constraint propagation is to propagate intervals of uncerta...
Elsa Carvalho, Jorge Cruz, Pedro Barahona
GISCIENCE
2004
Springer
136views GIS» more  GISCIENCE 2004»
14 years 26 days ago
Simplifying Sets of Events by Selecting Temporal Relations
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
Andrea Rodríguez, Nico Van de Weghe, Philip...
COSIT
2001
Springer
169views GIS» more  COSIT 2001»
13 years 12 months ago
Spatial Reasoning: No Need for Visual Information
One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual or spatial. The article reports a dual-task experiment that was...
Markus Knauff, Corinne Jola, Gerhard Strube
JISBD
2003
13 years 8 months ago
Using Contextual Logic Programming for Temporal Reasoning
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
Vítor Nogueira, Salvador Abreu, Gabriel Dav...
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
13 years 5 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King