823 search results - page 113 / 165 » Stateful Subset Cover |
PPL
2007
13 years 9 months ago
2007
The traditional computational devices and models, such as the von Neumann architecture or the Turing machine, are strongly influenced by concepts of central control and perfectio...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— We introduce a method for fast and accurate registration of multiple horizontal laser scans obtained by a mobile robot. The method is based on novel representation of t...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Through their ability to rapidly acquire aerial imagery, Unmanned Aerial Vehicles (UAVs) have the potential to aid target search tasks. Many of the core algorithms which are us...
MODELS
2010
Springer
13 years 8 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
ACIIDS
2009
IEEE
13 years 7 months ago
2009
IEEE
In this study, we strive to combine the advantages of fuzzy theory, genetic algorithms (GA), H tracking control schemes, smooth control and adaptive laws to design an adaptive fuzz...