233 search results - page 29 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
24
Voted
JUCS
2008
13 years 7 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
COR
2007
13 years 7 months ago
2007
We studied a supplier selection problem, where a buyer, while facing random demand, is to decide ordering quantities from a set of suppliers with different yields and prices.We pr...
JUCS
2006
13 years 7 months ago
2006
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Tree-structured models have been widely used for human pose estimation, in either 2D or 3D. While such models allow efficient learning and inference, they fail to capture...
CVPR
1999
IEEE
14 years 9 months ago
1999
IEEE
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...