Sciweavers

13 search results - page 3 / 3
» On Deciding Consistency for CSPs of Cyclic Time Intervals
Sort
View
AI
2008
Springer
13 years 5 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
KDD
2005
ACM
127views Data Mining» more  KDD 2005»
14 years 5 months ago
Detection of emerging space-time clusters
We propose a new class of spatio-temporal cluster detection methods designed for the rapid detection of emerging space-time clusters. We focus on the motivating application of pro...
Daniel B. Neill, Andrew W. Moore, Maheshkumar Sabh...
ESA
1995
Springer
182views Algorithms» more  ESA 1995»
13 years 8 months ago
A Geometric Approach to Betweenness
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...
Benny Chor, Madhu Sudan