Sciweavers

3765 search results - page 536 / 753
» Qualitative Action Systems
Sort
View
SOSYM
2002
123views more  SOSYM 2002»
15 years 6 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
IANDC
2010
83views more  IANDC 2010»
15 years 5 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
MIG
2010
Springer
15 years 5 months ago
Full-Body Hybrid Motor Control for Reaching
Abstract. In this paper, we present a full-body motor control mechanism that generates coordinated and diverse motion during a reaching action. Our framework animates the full huma...
Wenjia Huang, Mubbasir Kapadia, Demetri Terzopoulo...
PVLDB
2010
114views more  PVLDB 2010»
15 years 5 months ago
Peer coordination through distributed triggers
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
Verena Kantere, Maher Manoubi, Iluju Kiringa, Timo...
VC
2010
146views more  VC 2010»
15 years 5 months ago
View-dependent exploration of massive volumetric models on large-scale light field displays
We report on a light-field display based virtual environment enabling multiple naked-eye users to perceive detailed multi-gigavoxel volumetric models as floating in space, respon...
José Antonio Iglesias Guitián, Enric...