4520 search results - page 612 / 904 » Algebraic Techniques for Timed Systems |
241
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
190
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The preservation of many music works produced in the past entails their digitalization and consequent accessibility in an easy-tomanage digital format. Carrying this task manually...
186
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper we introduce the DCT-mod2 facial feature extraction technique which utilizes polynomial coefficients derived from 2-D DCT coefficients of spatially neighbouring bloc...
284
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Effective buffer management is crucial for efficient inmemory and streaming XQuery processing. We propose a buffer management scheme which combines static and dynamic analysis to ...
189
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Despite leaps in motion capture technology, the dichotomy between unencumbered vision-based motion recovery and the prevailing marker-assisted motion capture solution remains larg...