6167 search results - page 1041 / 1234 » Can Refinement be Automated |
ICAD
2004
13 years 11 months ago
2004
EmotionFace is a software interface for visually displaying the self-reported emotion expressed by music. Taken in reverse, it can be viewed as a facial expression whose auditory ...
ICAI
2004
13 years 11 months ago
2004
The goal of this work is to design and implement an agent-based system that facilitates interaction among a group of individuals who are part of an organization, observe types and...
CRIWG
2001
13 years 11 months ago
2001
This paper analyzes some of the factors that prevent knowledge construction and reuse in traditional library settings and describes VRef, an environment designed to provide users ...
CARS
2003
13 years 11 months ago
2003
The modeling of grasping and cutting in surgery are two fundamental tasks that must be achieved for the development of a reality-based haptic interface in robot-assisted surgery. C...
IJIT
2004
13 years 11 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...