Sciweavers

2159 search results - page 161 / 432
» An Artificial Chemistry for Networking
Sort
View
FLAIRS
2004
15 years 8 months ago
Knowledge-Based Constraint Satisfaction for Spatial Reasoning
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
Dan Tappan
FLAIRS
2006
15 years 8 months ago
Model Construction Algorithms for Object-Oriented Probabilistic Relational Models
This paper presents three new algorithms for the automatic construction of models from Object Oriented Probabilistic RelationalModels. The first two algorithms are based on the kn...
Catherine Howard, Markus Stumptner
FLAIRS
2003
15 years 8 months ago
Algorithms for Large Scale Markov Blanket Discovery
This paper presents a number of new algorithms for discovering the Markov Blanket of a target variable T from training data. The Markov Blanket can be used for variable selection ...
Ioannis Tsamardinos, Constantin F. Aliferis, Alexa...
FLAIRS
2000
15 years 8 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
Heiko Mantel, Felix C. Gärtner
AIPS
1994
15 years 8 months ago
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning
One big obstacle to understanding the nature of hierarchical task network (htn) planning has been the lack of a clear theoretical framework. In particular, no one has yet presente...
Kutluhan Erol, James A. Hendler, Dana S. Nau