Sciweavers

880 search results - page 152 / 176
» The SLAM problem: a survey
Sort
View
CLEIEJ
2002
113views more  CLEIEJ 2002»
14 years 11 months ago
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
Marco T. Morazán, Douglas R. Troeger, Myles...
CN
2002
109views more  CN 2002»
14 years 11 months ago
A network infrastructure for IP mobility support in metropolitan areas
The original design of the Internet and its underlying protocols did not anticipate users to be mobile. With the growing interest in supporting mobile users and mobile computing, ...
Cristina Hristea, Fouad A. Tobagi
EATCS
2000
108views more  EATCS 2000»
14 years 11 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
99
Voted
INFFUS
2002
155views more  INFFUS 2002»
14 years 11 months ago
Image fusion techniques for remote sensing applications
Image fusion refers to the acquisition, processing and synergistic combination of information provided by various sensors or by the same sensor in many measuring contexts. The aim...
G. Simone, Alfonso Farina, Francesco Carlo Morabit...
ISCI
2002
132views more  ISCI 2002»
14 years 11 months ago
Mobile data and transaction management
Mobile computing paradigm has emerged due to advances in wireless or cellular networking technology. This rapidly expanding technology poses many challenging research problems in ...
Sanjay Kumar Madria, Mukesh K. Mohania, Sourav S. ...