13717 search results - page 2338 / 2744 » Control Systems |
130
click to vote
RAS
2000
15 years 4 months ago
2000
In the last two decades, the barn owl, a nocturnal predator with accurate visual and auditory capabilities, has become a common experimental system for neuroscientists investigati...
145
Voted
IJCINI
2007
15 years 4 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
125
click to vote
NN
1998
Springer
15 years 4 months ago
1998
Springer
In lamprey, the supraspinal control of velocity is mainly accomplished by the reticulospinal (RS) system. During locomotion, RS neurones are rhythmically active with a cycle durat...
173
click to vote
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
The two largest U.S. wireless ISPs have recently moved towards usage-based pricing to better manage the growing demand on their networks. Yet usage-based pricing still requires IS...
143
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...