11168 search results - page 80 / 2234 » Abstract State Processes |
85
Voted
ISPW
1991
IEEE
15 years 6 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
110
Voted
ESANN
2004
15 years 4 months ago
2004
Abstract. The amygdala has repeatedly been involved in the processing of emotional reactions and conditioning. This paper presents a neurobiologically inspired computational model ...
108
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We study in this paper an M/M/1 queue whose server rate depends upon the state of an independent Ornstein-Uhlenbeck diffusion process (X(t)) so that its value at time t i...
129
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
117
click to vote
UAI
1998
15 years 4 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...