Sciweavers

AAAI
2008
14 years 8 hour ago
Using Reasoning Patterns to Simplify Games
In complex strategic situations decision-making agents interact with many other agents and have access to many pieces of information throughout their play. This usually leads to g...
Dimitrios Antos, Avi Pfeffer
AAAI
2007
14 years 8 hour ago
A Modular Action Description Language for Protocol Composition
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...
Nirmit Desai, Munindar P. Singh
AAAI
2008
14 years 8 hour ago
Probabilistic Planning via Determinization in Hindsight
This paper investigates hindsight optimization as an approach for leveraging the significant advances in deterministic planning for action selection in probabilistic domains. Hind...
Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao ...
AAAI
2007
14 years 8 hour ago
An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
Hendrik Zender, Patric Jensfelt, Óscar Mart...
AAAI
2008
14 years 8 hour ago
Interaction Structure and Dimensionality Reduction in Decentralized MDPs
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...
Martin Allen, Marek Petrik, Shlomo Zilberstein
AAAI
2007
14 years 8 hour ago
PhotoSlap: A Multi-player Online Game for Semantic Annotation
Multimedia content presents special challenges for the search engines, and could benefit from semantic annotation of images. Unfortunately, manual labeling is too tedious and tim...
Chien-Ju Ho, Tsung-Hsiang Chang, Jane Yung-jen Hsu
AAAI
2008
14 years 8 hour ago
Measuring the Hardness of SAT Instances
The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of treelik...
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
AAAI
2007
14 years 8 hour ago
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Alban Grastien, Anbulagan, Jussi Rintanen, Elena K...
AAAI
2007
14 years 8 hour ago
Real-Time Identification of Operating Room State from Video
Beenish Bhatia, Tim Oates, Yan Xiao, Peter Fu-Ming...
AAAI
2008
14 years 8 hour ago
Constrained Classification on Structured Data
Most standard learning algorithms, such as Logistic Regression (LR) and the Support Vector Machine (SVM), are designed to deal with i.i.d. (independent and identically distributed...
Chi-Hoon Lee, Matthew R. G. Brown, Russell Greiner...