Sciweavers

3808 search results - page 156 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
APN
1999
Springer
15 years 10 months ago
Detection of Illegal Behaviors Based on Unfoldings
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
Jean-Michel Couvreur, Denis Poitrenaud
IEAAIE
1999
Springer
15 years 10 months ago
New Directions in Debugging Hardware Designs
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
Franz Wotawa
ISMIS
1999
Springer
15 years 10 months ago
Learning English Grapheme Segmentation Using the Iterated Version Space Algorithm
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
Jianna Jian Zhang, Howard J. Hamilton, Nick Cercon...
EVOW
1998
Springer
15 years 10 months ago
Evolutionary Robotics: A Survey of Applications and Problems
This paper reviews evolutionary approaches to the automatic design of real robots exhibiting a given behavior in a given environment. Such a methodology has been successfully appl...
Jean-Arcady Meyer, Phil Husbands, Inman Harvey
ICTAI
1996
IEEE
15 years 10 months ago
Incremental Markov-Model Planning
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
Richard Washington