602 search results - page 49 / 121 » NetRaker suite: a demonstration |
ER
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— We introduce a method based on support vector machines which can detect opening and closing actions of the human thumb, index finger, and other fingers recorded via surface E...
CC
2004
Springer
15 years 4 months ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
105
click to vote
FGR
2002
IEEE
15 years 3 months ago
2002
IEEE
A vision system is demonstrated that adaptively allocates computational resources over multiple cues to robustly track a target in 3D. The system uses a particle filter to mainta...
106
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...