342 search results - page 6 / 69 » Calling context abstraction with shapes |
119
click to vote
TACS
1994
Springer
15 years 3 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
108
Voted
BVAI
2005
Springer
15 years 5 months ago
2005
Springer
Inspired by psychophysical studies of the human cognitive abilities we propose a novel aspect and a method for performance evaluation of contour based shape recognition algorithms ...
121
Voted
AUTOID
2005
IEEE
15 years 5 months ago
2005
IEEE
In a biometrics scenario, gallery images are enrolled into the database ahead of the matching step, which gives us the opportunity to build related data structures before the prob...
182
click to vote
POPL
1999
ACM
15 years 4 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...