1940 search results - page 267 / 388 » Graph Transformation with Variables |
128
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
This paper incorporates multiscale vesselness filtering into the Livewire framework to simultaneously compute optimal medial axes and boundaries in vascular images. To this end, we...
150
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
143
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
134
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— Human control of high degree-of-freedom robotic systems, e.g. anthropomorphic robot hands, is often difficult due to the overwhelming number of variables that need to be speci...
137
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...