633 search results - page 27 / 127 » Casting an Object with a Core |
107
click to vote
SAS
2005
Springer
15 years 5 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
ICRA
1998
IEEE
15 years 4 months ago
1998
IEEE
Dextrous manipulation planning is a problem of paramount importance in the study of multi ngered robotic hands. In this paper, we show in general, that all system variables the ng...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
112
click to vote
CAIP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...
DC
2001
15 years 1 months ago
2001
This paper presents a streamlined metadata record format designed to support the permanence of network discoverable objects. It starts with the Dublin Core consensus and distills ...