2299 search results - page 338 / 460 » Inference and Learning in Planning |
133
click to vote
MRC
2003
15 years 5 months ago
2003
This paper describes the Virtual Synergy interface, which combines a three dimensional graphical interface with physical robots to allow for collaboration among multiple human res...
117
click to vote
ECIS
2000
15 years 5 months ago
2000
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
122
click to vote
AAAI
1997
15 years 5 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
157
click to vote
IJCAI
1997
15 years 5 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
127
click to vote
NIPS
1997
15 years 5 months ago
1997
Prioritized sweeping is a model-based reinforcement learning method that attempts to focus an agent’s limited computational resources to achieve a good estimate of the value of ...