6014 search results - page 570 / 1203 » Structural Testing with Use Cases |
279
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
The problem of Simultaneous Localization And Mapping (SLAM) originally arose from the robotics community and is closely related to the problems of camera motion estimation and stru...
180
click to vote
JCC
2008
15 years 7 months ago
2008
: An explicit ion, implicit water solvent model for molecular dynamics was developed and tested with DNA and RNA simulations. The implicit water model uses the finite difference Po...
190
click to vote
TASLP
2008
15 years 7 months ago
2008
We present LyricAlly, a prototype that automatically aligns acoustic musical signals with their corresponding textual lyrics, in a manner similar to manually-aligned karaoke. We ta...
158
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Tracking nano-metric particles in a biological environment is a very difficult task because of the low signal intensity and the high mobility of these small objects. The task bec...
217
click to vote
JAR
2002
15 years 7 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...