Sciweavers

4099 search results - page 588 / 820
» A Framework for Interactive Proof
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
Action recognition using ballistic dynamics
We present a Bayesian framework for action recognition through ballistic dynamics. Psycho-kinesiological studies indicate that ballistic movements form the natural units for human...
Shiv Naga Prasad Vitaladevuni, Vili Kellokumpu, La...
ICDE
2006
IEEE
131views Database» more  ICDE 2006»
16 years 8 months ago
On the Controlled Evolution of Process Choreographies
Process?aware information systems have to be frequently adapted due to business process changes. One important challenge not adequately addressed so far concerns the evolution of ...
Stefanie Rinderle, Andreas Wombacher, Manfred Reic...
VIS
2009
IEEE
216views Visualization» more  VIS 2009»
16 years 7 months ago
Volume Ray Casting with Peak Finding and Differential Sampling
Direct volume rendering and isosurfacing are ubiquitous rendering techniques in scientific visualization, commonly employed in imaging 3D data from simulation and scan sources. Con...
Aaron Knoll, Younis Hijazi, Rolf Westerteiger, ...
ICPR
2004
IEEE
16 years 7 months ago
Eye Tracking Using Markov Models
We propose an eye detection and tracking method based on color and geometrical features of the human face using a monocular camera. In this method a decision is made on whether th...
A. M. Bagci, Ashfaq A. Khokhar, E. Cetin, Rashid A...
POPL
2007
ACM
16 years 6 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish