Sciweavers

CORR
2011
Springer
301views Education» more  CORR 2011»
14 years 10 months ago
Human Activity Detection from RGBD Images
Being able to detect and recognize human activities is important for making personal assistant robots useful in performing assistive tasks. The challenge is to develop a system th...
Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh S...
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 10 months ago
Additive Pattern Database Heuristics
Ariel Felner, Sarit Hanan, Richard E. Korf
CORR
2011
Springer
136views Education» more  CORR 2011»
14 years 10 months ago
Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments
In this paper, we confront the problem of applying reinforcement learning to agents that perceive the environment through many sensors and that can perform parallel actions using ...
Enric Celaya, Josep M. Porta
CORR
2011
Springer
143views Education» more  CORR 2011»
14 years 10 months ago
Towards Understanding and Harnessing the Potential of Clause Learning
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
Paul Beame, Henry A. Kautz, Ashish Sabharwal
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 10 months ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen
CORR
2011
Springer
166views Education» more  CORR 2011»
14 years 10 months ago
A Personalized System for Conversational Recommendations
Searching for and making decisions about information is becoming increasingly difficult as the amount of information and number of choices increases. Recommendation systems help ...
Mehmet H. Göker, Pat Langley, Cynthia A. Thom...
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
CORR
2011
Springer
204views Education» more  CORR 2011»
14 years 10 months ago
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple ...
William E. Walsh, Michael P. Wellman
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 10 months ago
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
Silvia Acid, Luis M. de Campos
CORR
2011
Springer
193views Education» more  CORR 2011»
14 years 10 months ago
The Rate of Convergence of AdaBoost
The AdaBoost algorithm was designed to combine many “weak” hypotheses that perform slightly better than random guessing into a “strong” hypothesis that has very low error....
Indraneel Mukherjee, Cynthia Rudin, Robert E. Scha...