Sciweavers

3602 search results - page 236 / 721
» Isn't It About Time
Sort
View
119
Voted
IROS
2008
IEEE
173views Robotics» more  IROS 2008»
15 years 7 months ago
Automatically smoothing camera pose using cross validation for sequential vision-based 3D mapping
— Building an accurate three dimensional map is an important task for autonomous localisation and navigation. In a sequential approach to reconstruction from video streams, we sh...
Michela Farenzena, Adrien Bartoli, Youcef Mezouar
SASO
2008
IEEE
15 years 7 months ago
Autonomic Request Management Algorithms for Geographically Distributed Internet-Based Systems
Supporting Web-based services through geographical distributed clusters of servers is a common solution to the increasing volume and variability of modern traffic. These architec...
Mauro Andreolini, Sara Casolari, Michele Colajanni
100
Voted
SASO
2008
IEEE
15 years 7 months ago
On the Feasibility of Decentralized Grid Scheduling
Many authors recognize the limitations of hierarchical Grid scheduling in scalable environments, and proposed peer-to-peer solutions to this problem. However, most peerto-peer gri...
Marco Fiscato, Paolo Costa, Guillaume Pierre
101
Voted
TPHOL
2008
IEEE
15 years 7 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
DSD
2007
IEEE
88views Hardware» more  DSD 2007»
15 years 7 months ago
An Implementation of an Address Generator Using Hash Memories
An address generator produces a unique address from 1 to k for the input that matches to one of k registered vectors, and produces 0 for other inputs. This paper presents the supe...
Tsutomu Sasao, Munehiro Matsuura