955 search results - page 141 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
ECIS
2001
13 years 9 months ago
2001
This paper gives an overview of the state of the art in the field of HCI (Human-Computer Interaction) and investigates the applicability of HCI research to the development of larg...
FSEN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
IJCAI
2001
13 years 9 months ago
2001
The progressive processing model allows a system to trade off resource consumption against the quality of the outcome by mapping each activity to a graph of potential solution met...
COSIT
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
ICDE
2010
IEEE
13 years 8 months ago
2010
IEEE
— We discuss the problem of resource provisioning for database management systems operating on top of an Infrastructure-As-A-Service (IaaS) cloud. To solve this problem, we descr...