5159 search results - page 665 / 1032 » Structural Testing of Executables |
216
Voted
ICDT
2003
ACM
16 years 20 days ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
210
Voted
3DPVT
2002
IEEE
16 years 13 days ago
2002
IEEE
We propose a fast 3D model acquisition system that aligns intensity and depth images, and reconstructs a textured 3D mesh. 3D views are registered with shape alignment based on in...
213
click to vote
EH
2002
IEEE
16 years 12 days ago
2002
IEEE
In this article, we present the BioWall, a giant reconfigurable computing tissue developed to implement machines according to the principles of our Embryonics (embryonic electroni...
252
Voted
GLVLSI
2002
IEEE
16 years 12 days ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
176
Voted
ICRA
2002
IEEE
16 years 12 days ago
2002
IEEE
We present a multiple view algorithm for vision based landing of an unmanned aerial vehicle. Our algorithm is based on our recent results in multiple view geometry which exploit t...