Sciweavers

4245 search results - page 420 / 849
» Input Modeling
Sort
View
CONCUR
2001
Springer
15 years 11 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
FTCS
1993
86views more  FTCS 1993»
15 years 8 months ago
Interval Availability Distribution Computation
Interval availability is a dependability measure defined by the fraction of time during which a system is in operation over a finite observation period. The computation of its d...
Gerardo Rubino, Bruno Sericola
ETS
2002
IEEE
139views Hardware» more  ETS 2002»
15 years 6 months ago
Automated Tutorial and Assignment Assessment
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...
Roger F. Browne
IUI
2000
ACM
15 years 11 months ago
SUITOR: an attentive information system
Attentive systems pay attention to what users do so that they can attend to what users need. Such systems track user behavior, model user interests, and anticipate user desires an...
Paul P. Maglio, Rob Barrett, Christopher S. Campbe...
SBRN
1998
IEEE
15 years 11 months ago
Competitive and Temporal Hebbian Learning for Production of Robot Trajectories
This paper proposes an unsupervised neural algorithm for trajectory production of a 6-DOF robotic arm. The model encodes these trajectories in a single training iteration by using...
Guilherme De A. Barreto, Aluizio F. R. Araú...