1722 search results - page 209 / 345 » Variables in Concept Graphs |
135
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we propose a framework to model video sequences using spatiotemporal description of video shots. Spatiotemporal volumes are extracted thanks to an efficient segment...
128
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
125
click to vote
MICCAI
2007
Springer
16 years 4 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...
147
Voted
SOFSEM
2010
Springer
16 years 25 days 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...
138
Voted
DATE
2009
IEEE
15 years 10 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...