Sciweavers

Share
342 search results - page 1 / 69
» Calling context abstraction with shapes
Sort
View
POPL
2011
ACM
10 years 2 months ago
Calling context abstraction with shapes
Xavier Rival, Bor-Yuh Evan Chang
ICFEM
2010
Springer
10 years 10 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...
ECCV
2008
Springer
12 years 1 months ago
Contour Context Selection for Object Detection: A Set-to-Set Contour Matching Approach
Abstract. We introduce a shape detection framework called Contour Context Selection for detecting objects in cluttered images using only one exemplar. Shape based detection is inva...
Qihui Zhu, Liming Wang, Yang Wu, Jianbo Shi
CIARP
2009
Springer
11 years 6 months ago
Morphological Shape Context: Semi-locality and Robust Matching in Shape Recognition
Abstract. We present a novel shape recognition method based on an algorithm to detect contrasted level lines for extraction, on Shape Context for encoding and on an a contrario app...
Mariano Tepper, Francisco Gómez, Pablo Mus&...
IPMI
2007
Springer
12 years 19 days ago
Shape Regression Machine
Abstract. We present a machine learning approach called shape regression machine (SRM) to segmenting in real time an anatomic structure that manifests a deformable shape in a medic...
Shaohua Kevin Zhou, Dorin Comaniciu
books