2940 search results - page 447 / 588 » Relational Parametricity and Control |
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
ISCA
2000
IEEE
15 years 2 months ago
2000
IEEE
For many applications, branch mispredictions and cache misses limit a processor’s performance to a level well below its peak instruction throughput. A small fraction of static i...
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Data from several projects show a significant relationship between the size of a module and its defect density. Here we address implications of this observation. Does the overall ...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
Computer gaming offers a unique test-bed and market for advanced concepts in computer science, such as Human Computer Interaction (HCI), computer-supported collaborative work (CSC...