Sciweavers

3909 search results - page 288 / 782
» Extreme Model Checking
Sort
View
WSC
2000
15 years 4 months ago
Avatar kinematics modeling for telecollaborative virtual environments
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...
Cristian Luciano, Pat Banerjee
114
Voted
MICCAI
2002
Springer
16 years 4 months ago
Macroscopic Modeling of Vascular Systems
Abstract. Angiogenesis, the growth of vascular structures, is an extremely complex biological process which has long puzzled scientists. Better physiological understanding of this ...
Dominik Szczerba, Gábor Székely
102
Voted
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 10 months ago
A Simple Model for the Reliability of an Infrastructure System Controlled by Agents
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...
151
Voted
SASO
2009
IEEE
15 years 10 months ago
Myconet: A Fungi-Inspired Model for Superpeer-Based Peer-to-Peer Overlay Topologies
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...
Paul L. Snyder, Rachel Greenstadt, Giuseppe Valett...
108
Voted
AIIA
2007
Springer
15 years 9 months ago
A 3D Virtual Model of the Knee Driven by EMG Signals
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
Massimo Sartori, Gaetano Chemello, Enrico Pagello