Sciweavers

3123 search results - page 455 / 625
» Community Cloud Computing
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
ICCV
2009
IEEE
16 years 11 months ago
Multiscale Symmetric Part Detection and Grouping
Skeletonization algorithms typically decompose an object’s silhouette into a set of symmetric parts, offering a powerful representation for shape categorization. However, havi...
Alex Levinshtein, Sven Dickinson, Cristian Sminchi...
CVPR
1999
IEEE
16 years 8 months ago
Eigen-Texture Method: Appearance Compression Based on 3D Model
Image-based and model-based methods are two representative rendering methods for generating virtual images of objects from their real images. Extensive research on these two metho...
Ko Nishino, Yoichi Sato, Katsushi Ikeuchi
CVPR
2001
IEEE
16 years 8 months ago
Generic Model Abstraction from Examples
Model Abstraction from Examples Yakov Keselman, Member, IEEE, and Sven Dickinson, Member, IEEE The recognition community has typically avoided bridging the representational gap bet...
Yakov Keselman, Sven J. Dickinson
CVPR
2008
IEEE
16 years 8 months ago
From skeletons to bone graphs: Medial abstraction for object recognition
letons to Bone Graphs: Medial Abstraction for Object Recognition Diego Macrini University of Toronto Kaleem Siddiqi McGill University Sven Dickinson University of Toronto Medial d...
Diego Macrini, Kaleem Siddiqi, Sven J. Dickinson