Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
AI
2005
Springer
10 years 6 months ago
Task-dependent qualitative domain abstraction
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
Martin Sachenbacher, Peter Struss
AI
2005
Springer
10 years 6 months ago
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
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...
Zhao Xing, Weixiong Zhang
AI
2005
Springer
10 years 6 months ago
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
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...
Richard J. Wallace, Eugene C. Freuder
AI
2005
Springer
10 years 6 months ago
On the consistency of cardinal direction constraints
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...
Spiros Skiadopoulos, Manolis Koubarakis
AI
2005
Springer
10 years 6 months ago
Asynchronous aggregation and consistency in distributed constraint satisfaction
Constraint Satisfaction Problems (CSP) have been very successful in problem-solving tasks ranging from resource allocation and scheduling to configuration and design. Increasingly...
Marius-Calin Silaghi, Boi Faltings
AI
2005
Springer
10 years 6 months ago
Explorations in engagement for humans and robots
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...
Candace L. Sidner, Christopher Lee, Cory D. Kidd, ...
AI
2005
Springer
10 years 6 months ago
Choosing words in computer-generated weather forecasts
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...
Ehud Reiter, Somayajulu Sripada, Jim Hunter, Jin Y...
books