Sciweavers

1342 search results - page 75 / 269
» Shape reasoning and understanding
Sort
View
ECCV
2008
Springer
16 years 7 months ago
Image Segmentation by Branch-and-Mincut
Efficient global optimization techniques such as graph cut exist for energies corresponding to binary image segmentation from lowlevel cues. However, introducing a high-level prior...
Victor S. Lempitsky, Andrew Blake, Carsten Rother
GIS
2008
ACM
16 years 7 months ago
Indexing planar point quartets via geometric attributes
An index is devised to support position-independent search for images containing quartets of icons. Point quartets exist that do not unambiguously map to quadrilaterals, however, ...
Charles Ben Cranston, Hanan Samet
POPL
1993
ACM
15 years 10 months ago
Graph Types
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
Nils Klarlund, Michael I. Schwartzbach
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
15 years 10 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
ICCV
2007
IEEE
16 years 7 months ago
An Interactive Approach to Pose-Assisted and Appearance-based Segmentation of Humans
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
Zhe Lin, Larry S. Davis, David S. Doermann, Daniel...