AI
2005
Springer
13 years 4 months ago
2005
Springer
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
AI
2005
Springer
2005
Springer
Secure distributed constraint satisfaction: reaching agreement without revealing private information
13 years 4 months ago
AI
2005
Springer
13 years 4 months ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
AI
2005
Springer
13 years 4 months ago
2005
Springer
Because of privacy concerns, agents may not want to reveal information that could be of use in problem solving. As a result, there are potentially important tradeoffs between main...
AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
AI
2005
Springer
13 years 4 months ago
2005
Springer
Constraint Satisfaction Problems (CSP) have been very successful in problem-solving tasks ranging from resource allocation and scheduling to configuration and design. Increasingly...
AI
2005
Springer
13 years 4 months ago
2005
Springer
This paper explores the concept of engagement, the process by which individuals in an interaction start, maintain and end their perceived connection one another. The paper reports...
AI
2005
Springer
13 years 4 months ago
2005
Springer
AI
2005
Springer
13 years 4 months ago
2005
Springer
One of the main challenges in automatically generating textual weather forecasts is choosing appropriate English words to communicate numeric weather data. A corpus-based analysis...