3760 search results - page 104 / 752 » Logic-Based Probabilistic Modeling |
108
click to vote
MICCAI
2007
Springer
16 years 3 months ago
2007
Springer
Among the many features used for classification in computer-aided detection (CAD) systems targeting colonic polyps, those based on differences between the shapes of polyps and fold...
126
click to vote
GFKL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
119
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
119
click to vote
NIPS
2007
15 years 4 months ago
2007
The present work aims to model the correspondence between facial motion and speech. The face and sound are modelled separately, with phonemes being the link between both. We propo...