5363 search results - page 824 / 1073 » Building the Cerebellum in a Computer |
161
click to vote
HIPC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...
164
click to vote
HUC
2005
Springer
16 years 5 days ago
2005
Springer
Location systems that are based on scanning for nearby radio sources can estimate the position of a mobile device with reasonable accuracy and high coverage. These systems require ...
171
click to vote
HVC
2005
Springer
16 years 5 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
144
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
184
click to vote
ICCS
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a case study of interdisciplinary collaboration in building a set of tools to simulate and visualize airflow around bat wings during flight. A motion capture sy...