Sciweavers

498 search results - page 34 / 100
» From Language to Time: A Temporal Expression Anchorer
Sort
View
DASFAA
2011
IEEE
231views Database» more  DASFAA 2011»
14 years 3 months ago
Querying Moving Objects with Uncertainty in Spatio-Temporal Databases
Spatio-temporal uncertainty is a special feature of moving objects due to the inability of precisely capturing or predicting their continuously changing locations. Indeterminate lo...
Hechen Liu, Markus Schneider
ICLP
2003
Springer
15 years 5 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
IJCAI
2001
15 years 1 months ago
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
Phil Kim, Brian C. Williams, Mark Abramson
AIHC
2007
Springer
15 years 3 months ago
Foundations of Human Computing: Facial Expression and Emotion
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...
Jeffrey F. Cohn
CSL
1999
Springer
15 years 4 months ago
A Road-Map on Complexity for Hybrid Logics
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
Carlos Areces, Patrick Blackburn, Maarten Marx