4971 search results - page 769 / 995 » Observation systems |
157
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
141
click to vote
WEA
2005
Springer
16 years 1 days ago
2005
Springer
Vectors [Extended Abstract] Pekka Orponen and Satu Elisa Schaeffer Laboratory for Theoretical Computer Science, P.O. Box 5400 FI-02015 TKK Helsinki University of Technology, Finlan...
195
click to vote
ACMACE
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we propose a new method to edit captured human motion data by using the data glove. The animator first wears a glove and mimics the human body motion observed in t...
159
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
185
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...