6941 search results - page 702 / 1389 » Testing as a Certification Approach |
191
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents an approach to vision-based simultaneous localization and mapping (SLAM). Our approach uses the scale invariant feature transform (SIFT) as features and app...
192
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
241
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Energy minimization algorithms for bio-molecular systems are critical to applications such as the prediction of protein folding. Conventional energy minimization methods such as th...
190
click to vote
CIG
2005
IEEE
16 years 1 months ago
2005
IEEE
Interactive computer games are widely seen as a killer application domain for Artificial Intelligence (AI) [8]. Quite apart from the significant size of the games market in terms...
204
click to vote
CODES
2005
IEEE
16 years 1 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...