201 search results - page 37 / 41 » On the Decidability of Model-Checking for P Systems |
CC
2006
Springer
15 years 1 months ago
2006
Springer
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
This article presents a general approach for the active
stereo tracking of multiple moving targets. The problem is
formulated on the plane, where cameras are modeled as
”line ...
SEMCO
2008
IEEE
15 years 3 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
68
Voted
PODC
1997
ACM
15 years 1 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
84
Voted
ICMI
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we adopt a direct modeling approach to utilize conversational gesture cues in detecting sentence boundaries, called SUs, in video taped conversations. We treat the ...