Sciweavers

159 search results - page 8 / 32
» aaai 1998
Sort
View
AAAI
1998
15 years 1 months ago
The NASD Regulation Advanced Detection System (ADS)
J. Dale Kirkland, Ted E. Senator, James J. Hayden,...
AAAI
1998
15 years 1 months ago
The Constrainedness Knife-Edge
Abstract. Recent work on search has identified an intriguing feature dubbed the constrainedness knife-edge by Walsh (Proc. AAAI98, 406
Toby Walsh
AAAI
1998
15 years 1 months ago
Conformant Graphplan
Planning under uncertainty is a difficult task. If sensory information is available, it is possible to do contingency planning
David E. Smith, Daniel S. Weld
AAAI
1998
15 years 1 months ago
Machine Learning of Generic and User-Focused Summarization
A key problem in text summarization is finding a salience function which determines what information in the source should be included in the summary. This paper describes the use ...
Inderjeet Mani, Eric Bloedorn
AAAI
1998
15 years 1 months ago
A Formal Methodology for Verifying Situated Agents
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
Phan Minh Dung