4418 search results - page 304 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
179
click to vote
CVRMED
1997
Springer
15 years 11 months ago
1997
Springer
In order to use pre-operative images during an operation for navigation, they must be registered to the patient's coordinate system in the operating theater or to an intra-ope...
186
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
MAD (Movie Authoring and Design) is a novel design and authoring system that facilitates the process of creating dynamic visual presentations such as motion pictures and lecture-d...
169
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...
211
click to vote
SG
2005
Springer
16 years 5 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
139
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and dem...