4166 search results - page 386 / 834 » Automating the constraining process |
180
click to vote
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
142
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a new Bayesian, stochastic tracking algorithm for the segmentation of blood vessels from 3D medical image data. Inspired by the recent developments in particle filterin...
140
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
258
click to vote
VLDB
2006
ACM
16 years 5 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
146
click to vote
ALT
2008
Springer
16 years 1 months ago
2008
Springer
In the inductive inference framework of learning in the limit, a variation of the bounded example memory (Bem) language learning model is considered. Intuitively, the new model con...