Sciweavers

2470 search results - page 317 / 494
» Liveness-Preserving Simulation Relations
Sort
View
SIGGRAPH
1999
ACM
15 years 9 months ago
ArtDefo: Accurate Real Time Deformable Objects
We present an algorithm for fast, physically accurate simulation of deformable objects suitable for real time animation and virtual environment interaction. We describe the bounda...
Doug L. James, Dinesh K. Pai
ICDCS
1999
IEEE
15 years 9 months ago
Scalable Processing of Read-Only Transactions in Broadcast Push
Recently, push-based delivery has attracted considerable attention as a means of disseminating information to large client populations in both wired and wireless settings. In this...
Evaggelia Pitoura, Panos K. Chrysanthis
RTSS
1999
IEEE
15 years 9 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
GECCO
1999
Springer
130views Optimization» more  GECCO 1999»
15 years 9 months ago
Heterochrony and Adaptation in Developing Neural Networks
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...
Angelo Cangelosi
GW
1999
Springer
157views Biometrics» more  GW 1999»
15 years 9 months ago
The Ecological Approach to Multimodal System Design
Following the ecological approach to visual perception, this paper presents a framework that emphasizes the role of vision on referring actions. In particular, affordances are util...
Antonella De Angeli, Frederic Wolff, Laurent Romar...