2148 search results - page 89 / 430 » Responsiveness in Process Calculi |
136
Voted
NN
2006
Springer
15 years 4 months ago
2006
Springer
The basal ganglia (BG) coordinate decision making processes by facilitating adaptive frontal motor commands while suppressing others. In previous work, neural network simulations ...
173
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
137
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
107
click to vote
AAAI
1994
15 years 5 months ago
1994
This paper proposes a method to find the most suitable architecture for a given response time requirement for Example-Retrieval (ER), which searches for the best match from a bulk...
143
click to vote
CVPR
2011
IEEE
15 years 6 days ago
2011
IEEE
Human saccade is a dynamic process of information pursuit. Based on the principle of information maximization, we propose a computational model to simulate human saccadic scanpath...