1133 search results - page 17 / 227 » Local Logics for Traces |
ATVA
2006
Springer
15 years 4 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...
114
Voted
VISUALIZATION
2002
IEEE
15 years 5 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...
126
click to vote
SIP
2003
15 years 2 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...
105
Voted
GISCIENCE
2010
Springer
15 years 1 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...
196
click to vote
POPL
2006
ACM
16 years 28 days 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...