5355 search results - page 579 / 1071 » Modules |
155
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
172
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the application of wearable computer systems to threat response, exemplified by the Multi-functional Micro-controllable Interface Module (MMIM)/Digital Militar...
217
Voted
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...
167
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
Realism of rendered human skin can be strongly enhanced by taking into account skin wrinkles. However, modeling wrinkles is a difficult task, and considerable time and effort are ...
155
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
A Head Mounted Display system suffers largely from the time lag between human motion and the display output. The concept of Reflex HMD to compensate for the time lag is proposed a...