4814 search results - page 275 / 963 » Combining abstract interpreters |
207
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
162
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Recent approaches to action classification in videos have used sparse spatio-temporal words encoding local appearance around interesting movements. Most of these approaches use a ...
186
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
The goal of approximate policy evaluation is to “best” represent a target value function according to a specific criterion. Temporal difference methods and Bellman residual m...
175
click to vote
ICCV
2007
IEEE
16 years 28 days ago
2007
IEEE
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...
182
click to vote
ISMAR
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes an augmented reality (AR) multimodal interface that uses speech and paddle gestures for interaction. The application allows users to intuitively arrange virtu...