342 search results - page 1 / 69 » Calling context abstraction with shapes |
POPL
2011
ACM
12 years 7 months ago
2011
ACM
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
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...
ECCV
2008
Springer
14 years 6 months ago
2008
Springer
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...
CIARP
2009
Springer
13 years 11 months ago
2009
Springer
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...
IPMI
2007
Springer
14 years 5 months ago
2007
Springer
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...