Sciweavers

143 search results - page 1 / 29
» Timed CSP: A Retrospective
Sort
View
ENTCS
2006
96views more  ENTCS 2006»
13 years 11 months ago
Timed CSP: A Retrospective
Joël Ouaknine, Steve Schneider
CSR
2007
Springer
14 years 5 months ago
Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen
CSCLP
2005
Springer
14 years 4 months ago
Complexity Analysis of Heuristic CSP Search Algorithms
CSP search algorithms are exponential in the worst-case. A trivial upper bound on the time complexity of CSP search algorithms is O∗ (dn ), where n and d are the number of variab...
Igor Razgon
AICOM
2004
92views more  AICOM 2004»
13 years 10 months ago
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
Abstract. Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint...
Berthe Y. Choueiry, Lin Xu
HICSS
2009
IEEE
90views Biometrics» more  HICSS 2009»
14 years 5 months ago
Retrospective Cued Recall: A Method for Accurately Recalling Previous User Behaviors
A common problem in many user studies is gathering natural user behavior unintrusively over a long period of time. We describe a methodology for conducting passive longitudinal st...
Daniel M. Russell, Mike Oren