Sciweavers

2944 search results - page 303 / 589
» Improving Bound Propagation
Sort
View
152
Voted
ECCV
2002
Springer
16 years 8 months ago
Class-Specific, Top-Down Segmentation
In this paper we present a novel class-based segmentation method, which is guided by a stored representation of the shape of objects within a general class (such as horse images). ...
Eran Borenstein, Shimon Ullman
ICFP
2001
ACM
16 years 6 months ago
A Dependently Typed Assembly Language
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
Hongwei Xi, Robert Harper
119
Voted
DCC
2004
IEEE
16 years 6 months ago
Extensions of Generalized Product Caps
We give some variants of a new construction for caps. As an application of these constructions we obtain a 1216?cap in PG(9, 3) a 6464?cap in PG(11, 3) and several caps in ternary...
Yves Edel
CP
2009
Springer
16 years 1 months ago
Exploiting Problem Decomposition in Multi-objective Constraint Optimization
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
Radu Marinescu
ICPR
2008
IEEE
16 years 1 months ago
3D reconstruction by combining shape from silhouette with stereo
In this paper we propose a 3D reconstruction algorithm by combining shape from silhouette with stereo. Visual hull of the object is first derived from multi-view silhouette image...
Huei-Yung Lin, Jing-Ren Wu