1055 search results - page 30 / 211 » order 2002 |
123
Voted
3DPVT
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes a cheap and easy method of capturing colour images in order to map textures accurately onto range data. By using an empirical mapping algorithm it avoids syst...
144
Voted
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
This work presents a novel approach to efficient multirobot mapping and exploration which exploits a market architecture in order to maximize information gain while minimizing inc...
131
click to vote
ISORC
2002
IEEE
2002
IEEE
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
15 years 10 months ago
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of real-time remote and distributed rea...
153
Voted
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
127
click to vote
SSIAI
2002
IEEE
15 years 10 months ago
2002
IEEE
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...