3758 search results - page 369 / 752 » A Complete Subsumption Algorithm |
150
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...
157
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
It is difficult to learn good classifiers when training data is missing attribute values. Conventional techniques for dealing with such omissions, such as mean imputation, general...
177
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
—We present a new geometrical approach to solving inverse kinematics for continuous backbone (continuum) robot manipulators. First, this paper presents a solution to the inverse ...
199
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
165
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Integrating COTS components in critical real-time systems is challenging. In particular, we show that the interference between cache activity and I/O traffic generated by COTS pe...