3047 search results - page 353 / 610 » On the Meaning of Logical Completeness |
ICRA
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
— This paper presents a novel technique to align partial 3D reconstructions of the seabed acquired by a stereo camera mounted on an autonomous underwater vehicle. Vehicle localiz...
101
click to vote
ADAEUROPE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
DEXAW
2007
IEEE
15 years 5 months ago
2007
IEEE
As part of the general growth and diversification of media in different modalities, the presence of information in the form of human speech in the world-wide body of digital conte...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...