2940 search results - page 447 / 588 » Relational Parametricity and Control |
167
click to vote
ICRA
2000
IEEE
15 years 10 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...
175
click to vote
INFOCOM
2000
IEEE
15 years 10 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...
178
click to vote
ISCA
2000
IEEE
15 years 10 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...
144
click to vote
ISSRE
2000
IEEE
15 years 10 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 ...
169
click to vote
IUI
2000
ACM
15 years 10 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...