4190 search results - page 644 / 838 » Type Class Directives |
120
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
Brushing is a collection of techniques to dynamically query and directly select elements on the visual display. Such interaction allows the user to explore the visualization, to i...
121
click to vote
ROBIO
2006
IEEE
15 years 10 months ago
2006
IEEE
- Suddenly occurring collisions or unintentional motions represent a high safety risk in robotics and must be prevented. Especially for humanoid robots, the influence of disturbanc...
142
click to vote
RSP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...
144
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...
151
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...