593 search results - page 59 / 119 » Semantics-Preserving Procedure Extraction |
106
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
131
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...
134
click to vote
ISVC
2009
Springer
15 years 9 months ago
2009
Springer
We developed a GPU-based volume ray casting system for rendering multiple arbitrarily overlapping multi-resolution volume data sets. Our efficient volume virtualization scheme is b...
157
click to vote
ISVC
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel method for planar hand detection from a single uncalibrated image, with the purpose of estimating the articulated pose of a generic model, roughly adapted to the...
119
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose a novel feature set for speaker recognition that is based on the voice source signal. The feature extraction process uses closed-phase LPC analysis to estimate the voca...