415 search results - page 54 / 83 » Regular Processes and Timed Automata |
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a new framework to analyse and process 3D animations (defined by sequences of triangular meshes sharing the same connectivity at any frame). Our idea is...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
FPGA
1999
ACM
14 years 28 days ago
1999
ACM
The demand for high-speed FPGA compilation tools has occurred for three reasons: first, as FPGA device capacity has grown, the computation time devoted to placement and routing h...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Fourier Transform Infrared (FT-IR) spectroscopic imaging is a potentially valuable tool for diagnosing breast and prostate cancer, but its clinical deployment is limited due to lo...
FSTTCS
2008
Springer
13 years 9 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...