Sciweavers

2869 search results - page 364 / 574
» The Inference Problem: A Survey
Sort
View
ICLP
2005
Springer
16 years 22 days ago
Abduction of Linear Arithmetic Constraints
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
Michael J. Maher
LOCA
2005
Springer
16 years 22 days ago
Issues and Requirements for Bayesian Approaches in Context Aware Systems
Research in advanced context-aware systems has clearly shown a need to capture the inherent uncertainty in the physical world, especially in human behavior. Modelling approaches th...
Michael Angermann, Patrick Robertson, Thomas Stran...
SG
2005
Springer
16 years 21 days ago
Picturing Causality - The Serendipitous Semiotics of Causal Graphs
Abstract. Bayesian nets (BNs) appeared in the 1980s as a solution to computational and representational problems encountered in knowledge representation of uncertain information. S...
Eric Neufeld, Sonje Kristtorn
WABI
2005
Springer
117views Bioinformatics» more  WABI 2005»
16 years 21 days ago
Pattern Identification in Biogeography
—Identifying common patterns among area cladograms that arise in historical biogeography is an important tool for biogeographical inference. We develop the first rigorous formali...
Ganeshkumar Ganapathy, Barbara Goodson, Robert K. ...
ATVA
2004
Springer
87views Hardware» more  ATVA 2004»
16 years 19 days ago
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
Hans Bherer, Jules Desharnais, Marc Frappier, Rich...