3265 search results - page 239 / 653 » Representing Groups on Graphs |
127
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
129
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
139
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a method for object tracking over time sequence imagery. The image plane is represented with a 4-connected planar graph where vertices are associated with pixels. On ea...
178
click to vote
CC
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
173
click to vote
CONCUR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...