Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Decoupled simulation in virtual reality with the MR toolkit
ACM Transactions on Information Systems (TOIS)
KidSim: programming agents without a programming language
Communications of the ACM
Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic
IEEE Transactions on Knowledge and Data Engineering
3D Navigation of Geographic Data Sets
IEEE MultiMedia
| Hi-index | 0.00 |
In virtual reality interfaces, realistic animation of virtual agents enhances human-computer interaction by supporting direct engagement in the virtual environment. Visual programming by example allows designers to define animation rules by "training" agents, thereby building behavioral rules into specification models that run automatically during the execution of the virtual environment. This allows for direct and effective replication of real-life phenomena and agent reactions to environment stimuli.Contact: Enrico Vicario, Dip. Sistemi e Informatica, Università di Firenze, 3, via Santa Maria, 50139 Firenze, Italy, 39 (55) 479-65-24, e-mail vicario@aguirre.ing.unifi.it.