4820 search results - page 433 / 964 » Implementing Signatures for C |
116
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we show that visual feedback reduces the complexity of parallel robot Cartesian control. Namely, 3D pose visual servoing, where the end-effector pose is indirect...
147
click to vote
RTSS
2006
IEEE
15 years 11 months ago
2006
IEEE
The Constant Bandwidth Server (CBS) is an effective scheduling technique frequently used to handle overruns and implement resource reservation in real-time systems where tasks hav...
126
click to vote
SUTC
2006
IEEE
15 years 11 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
164
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
127
click to vote
HT
2006
ACM
15 years 11 months ago
2006
ACM
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...