Sciweavers

525 search results - page 38 / 105
» Static Interpretation of Modules
Sort
View
AGP
1996
IEEE
15 years 1 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
AAI
1999
147views more  AAI 1999»
14 years 9 months ago
Animated Agents for Procedural Training in Virtual Reality: Perception, Cognition, and Motor Control
This paper describes Steve, an animated agent that helps students learn to perform physical, procedural tasks. The student and Steve cohabit a three-dimensional, simulated mock-up...
Jeff Rickel, W. Lewis Johnson
103
Voted
SI3D
1999
ACM
15 years 2 months ago
Increased photorealism for interactive architectural walkthroughs
This paper presents a new method for interactive rendering of globally illuminated static scenes. Global illumination is decomposed into view-independent (diffuse) and view-depend...
Rui Bastos, Kenneth E. Hoff III, William C. Wynn, ...
ISPDC
2010
IEEE
14 years 8 months ago
Practical Uniform Peer Sampling under Churn
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
Roberto Baldoni, Marco Platania, Leonardo Querzoni...
ICRA
2009
IEEE
127views Robotics» more  ICRA 2009»
14 years 7 months ago
Roombots-mechanical design of self-reconfiguring modular robots for adaptive furniture
We aim at merging technologies from information technology, roomware, and robotics in order to design adaptive and intelligent furniture. This paper presents design principles for ...
Alexander Spröwitz, Aude Billard, Pierre Dill...