4520 search results - page 759 / 904 » Algebraic Techniques for Timed Systems |
177
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
186
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
This paper discusses the potential benefits of applicationspecific power management through remote task execution. Power management is crucial for mobile devices that have to re...
190
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
177
click to vote
MVA
2007
15 years 8 months ago
2007
Most vision-based UAV (Unmanned Aerial Vehicle) navigation algorithms extract manmade features such as buildings or roads, which are well structured in urban terrain, using the CC...
203
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...