5786 search results - page 294 / 1158 » Lines Pinning Lines |
195
Voted
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
195
Voted
ACL
2010
15 years 5 months ago
2010
In this paper, we address the task of mapping high-level instructions to sequences of commands in an external environment. Processing these instructions is challenging--they posit...
182
Voted
BMVC
2010
15 years 5 months ago
2010
We present a novel method for vision-based recovery of three-dimensional structures through simultaneous model reconstruction and camera position tracking from monocular images. O...
186
Voted
DAGM
2010
Springer
15 years 5 months ago
2010
Springer
Digital in-line holography is a 3D microscopy technique which has gotten an increasing amount of attention over the last few years in the fields of microbiology, medicine and physi...