Sciweavers

1450 search results - page 108 / 290
» Common knowledge revisited
Sort
View
AAAI
2007
15 years 8 months ago
UNDERTOW: Multi-Level Segmentation of Real-Valued Time Series
The discovery of meaningful change points, finding segments, in both categorical and real-value data time series is a well-studied problem. Prior segmentation algorithms and task...
Tom Armstrong, Tim Oates
AAAI
2006
15 years 7 months ago
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...
Christian Bessière, Remi Coletta, Fré...
IJIT
2004
15 years 7 months ago
A Constructive Problem Solver Approach for Building Agriculture Disorder Treatment Task
Expert systems development is a complex and expensive process that needs to be applied in an organized manner. This paper presents an approach for building a generic treatment mode...
Abeer El-Korany, Ahmed A. Rafea
IJCAI
1989
15 years 7 months ago
A Maneuvering-Board Approach to Path Planning with Moving Obstacles
In this paper we describe a new approach to the problem of path planning with moving obstacles. Our approach is based on the maneuvering board method commonly used for nautical na...
Lou Tychonievich, David Zaret, John Mantegna, Robe...
AMAI
2007
Springer
15 years 5 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans