Sciweavers

1990 search results - page 258 / 398
» Conceptual User Tracking
Sort
View
ICST
2009
IEEE
15 years 3 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 3 months ago
Using virtual human for an interactive customer-oriented constrained environment design
: For industrial product design, it is very important to take into account assembly/disassembly and maintenance operations during the conceptual and prototype design stage. For the...
Liang Ma, Ruina Ma, Damien Chablat, Fouad Bennis
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 18 days ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
ETRA
2004
ACM
134views Biometrics» more  ETRA 2004»
15 years 9 months ago
Visual deictic reference in a collaborative virtual environment
This paper evaluates the use of Visual Deictic Reference (VDR) in Collaborative Virtual Environments (CVEs). A simple CVE capable of hosting two (or more) participants simultaneou...
Andrew T. Duchowski, Nathan Cournia, Brian Cumming...
CVIU
2010
163views more  CVIU 2010»
15 years 6 months ago
Automated handwashing assistance for persons with dementia using video and a partially observable Markov decision process
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...
Jesse Hoey, Pascal Poupart, Axel von Bertoldi, Tam...