Sciweavers

835 search results - page 128 / 167
» Nonmonotonic Reasoning in Probabilistics
Sort
View
ICFP
2009
ACM
14 years 10 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
ICPR
2008
IEEE
14 years 4 months ago
Structure from Motion: Combining features correspondences and optical flow
This paper suggests using discrete feature displacements and optical flow simultaneously to determine the camera motion and its velocity. This is advantageous when the number of ...
Adel H. Fakih, John Zelek
AIMS
2008
Springer
14 years 4 months ago
Dynamic Consistency Analysis for Convergent Operators
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
Alva L. Couch, Marc Chiarini
CBMS
2007
IEEE
14 years 4 months ago
Auto-Extraction, Representation and Integration of a Diabetes Ontology Using Bayesian Networks
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Stefan Wermter
QEST
2007
IEEE
14 years 4 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...