762 search results - page 71 / 153 » Conditionally correct superoptimization |
PCI
2009
Springer
14 years 4 months ago
2009
Springer
—The design of efficient information dissemination mechanism is a challenging problem in large-scale network with respect to the number of messages and termination time. In this...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we present a new method for locating multiple sound sources using only a local segment of data from a large-aperture microphone array. The result of this work may be...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— In robotics, appearance-based topological map building consists in infering the topology of the environment explored by a robot from its sensor measurements. In this paper, we ...
TPHOL
2008
IEEE
14 years 4 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Vehicle-to-vehicle and vehicle-to-infrastructure wireless communications are currently under development to improve traffic efficiency and safety. Routing protocols enabling mul...