Sciweavers

3073 search results - page 306 / 615
» Real World Verification
Sort
View
AAAI
1998
15 years 8 months ago
Opponent Modeling in Poker
Poker is an interesting test-bed for artificial intelligence research. It is a game of imperfect knowledge, where multiple competing agents must deal with risk management, agent m...
Darse Billings, Denis Papp, Jonathan Schaeffer, Du...
AAAI
1998
15 years 8 months ago
Design Principles for Intelligent Environments
This paper describes design criteria for creating highly embedded, interactive spaces that we call Intelligent Environments. The motivation for building these systems is to bring ...
Michael H. Coen
AIPS
1998
15 years 8 months ago
Planning, Execution and Learning in a Robotic Agent
This paper presents the complete integrated planning, executing and learning robotic agent Rogue. We describe Rogue's task planner that interleaves high-level task planning w...
Karen Zita Haigh, Manuela M. Veloso
FLAIRS
2000
15 years 8 months ago
Structural Knowledge Discovery Used to Analyze Earthquake Activity
The Subdue structural discovery system is being used as the Data Mining tool to study the "Orizaba Fault" located in Mexico, as part of a research project of the geologi...
Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Co...
SOSP
1997
ACM
15 years 8 months ago
Automated Hoarding for Mobile Computers
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
Geoffrey H. Kuenning, Gerald J. Popek