1525 search results - page 293 / 305 » Integrated Systems for Inducing Spatio-Temporal Process Mode... |
109
click to vote
SAMOS
2004
Springer
15 years 5 months ago
2004
Springer
In recent years, power consumption has become a critical concern for many VLSI systems. Whereas several case studies demonstrate that technology-, layout-, and gate-level technique...
121
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
102
click to vote
IJVR
2006
14 years 11 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
105
click to vote
PRESENCE
2000
14 years 11 months ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
FTRTFT
1998
Springer
15 years 3 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...