Sciweavers

8928 search results - page 173 / 1786
» Modeling Current Events
Sort
View
ER
2003
Springer
226views Database» more  ER 2003»
15 years 8 months ago
Agent-Oriented Modeling and Agent-Based Simulation
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...
Gerd Wagner, Florin Tulba
BSN
2009
IEEE
140views Sensor Networks» more  BSN 2009»
15 years 10 months ago
A Distributed Hidden Markov Model for Fine-grained Annotation in Body Sensor Networks
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...
Eric Guenterberg, Hassan Ghasemzadeh, Roozbeh Jafa...
RV
2007
Springer
130views Hardware» more  RV 2007»
15 years 9 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
126
Voted
POPL
1995
ACM
15 years 6 months ago
Default Timed Concurrent Constraint Programming
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
HICSS
2002
IEEE
95views Biometrics» more  HICSS 2002»
15 years 8 months ago
Simulation Spectrum and Stability Models
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
Christopher Landauer