Sciweavers

3808 search results - page 487 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
AI
2001
Springer
15 years 10 months ago
Stratified Partial-Order Logic Programming
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
Mauricio Osorio, Juan Carlos Nieves
AIIA
2003
Springer
15 years 10 months ago
A Neural Architecture for Segmentation and Modelling of Range Data
A novel, two stage, neural architecture for the segmentation of range data and their modeling with undeformed superquadrics is presented. The system is composed by two distinct neu...
Roberto Pirrone, Antonio Chella
AIME
2003
Springer
15 years 10 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
167
Voted
CP
1995
Springer
15 years 10 months ago
On the Forward Checking Algorithm
The forward checking algorithm for solving constraint satisfaction problems is a popular and successful alternative to backtracking. However, its successhas largely been determined...
Fahiem Bacchus, Adam J. Grove
EPS
1995
Springer
15 years 10 months ago
PANIC: A Parallel Evolutionary Rule Based System
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...
Antonella Giani, Fabrizio Baiardi, Antonina Starit...