1133 search results - page 17 / 227 » Local Logics for Traces |
123
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
153
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we develop a new technique for tracing anatomical fibers from 3D tensor fields. The technique extracts salient tensor features using a local regularization techniq...
162
Voted
SIP
2003
15 years 5 months ago
2003
In this paper we propose a new, interactive technique for the segmentation of elongated structures in images. It is based on the so-called live-wire segmentation paradigm and uses...
136
click to vote
GISCIENCE
2010
Springer
15 years 5 months ago
2010
Springer
As an alternative to expensive road surveys, we are working toward a method to infer the road network from GPS data logged from regular vehicles. One of the most important componen...
243
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...