Sciweavers

3557 search results - page 339 / 712
» The Dynamics of Mass Interaction
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CORR
2004
Springer
133views Education» more  CORR 2004»
15 years 6 months ago
Mathematical Analysis of Multi-Agent Systems
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
Kristina Lerman, Aram Galstyan, Tad Hogg
ETS
2000
IEEE
138views Hardware» more  ETS 2000»
15 years 6 months ago
e-Learning Innovation through the Implementation of an Internet Supported Learning Environment
The paper provides an insight into the changing nature of the learning process through the adoption of interactive new media solutions into a traditional University Campus. The us...
David Smith, Glenn Hardaker
CHI
2010
ACM
16 years 1 months ago
Social gravity: a virtual elastic tether for casual, privacy-preserving pedestrian rendezvous
We describe a virtual “tether” for mobile devices that allows groups to have quick, simple and privacy-preserving meetups. Our design provides cues which allow dynamic coordin...
John Williamson, Simon Robinson, Craig Stewart, Ro...
MICCAI
2004
Springer
16 years 7 months ago
A Semi-automatic Endocardial Border Detection Method for 4D Ultrasound Data
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...
Boudewijn J. Krenning, Charles T. Lancée, G...