3256 search results - page 620 / 652 » Applications of Formal Methods to System Design and Verifica... |
85
Voted
ICIP
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a unified approach to human activity capturing and recognition. It targets applications such as a speaker walking, turning around, sitting and getting up from ...
130
click to vote
SSDBM
2002
IEEE
15 years 2 months ago
2002
IEEE
The efficient management of interval data represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tree1 ), an effi...
DAS
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
MSS
2000
IEEE
15 years 2 months ago
2000
IEEE
Disk subsystems span the range of configuration complexity from single disk drives to large installations of disk arrays. They can be directly attached to individual computer syst...
ICRA
1999
IEEE
15 years 1 months ago
1999
IEEE
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...