4842 search results - page 666 / 969 » A Calculus for Data Mapping |
193
Voted
IROS
2008
IEEE
16 years 1 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...
184
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper proposes a method for augmenting the information of a monocular camera and a range finder. This method is a valuable step towards solving the SLAM problem in unstruc...
156
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
164
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
168
click to vote
FOCI
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a new development of selforganizing maps (SOM), realized by combining them with the idea of a modular network. This we called a modular network SOM ...