2702 search results - page 272 / 541 » constraints 2008 |
172
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Because more output data must be created than is available from the input, magnification is an ill-posed problem. Traditional magnification relies on resampling an interpolation mo...
185
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
174
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
170
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Multi-detector Computed Tomography offers the promise of a non-invasive alternative to invasive coronary angiography for the evaluation of coronary artery disease. An impediment p...
184
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
A new hierarchical Bayesian model is proposed for image segmentation based on Gaussian mixture models (GMM) with a prior enforcing spatial smoothness. According to this prior, the...