Sciweavers

3122 search results - page 280 / 625
» A Theory of Network Equivalence
Sort
View
GEOINFORMATICA
2000
99views more  GEOINFORMATICA 2000»
15 years 6 months ago
GIS Software for Measuring Space-Time Accessibility in Transportation Planning and Analysis
: Transportation systems exist to improve individual accessibility. However, emerging applications of GIS in transportation (GIS-T) and intelligent transportation system (ITS) focu...
Harvey J. Miller, Yi-Hwa Wu
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 5 months ago
A general Gaussian-mixture approach for range-only mapping using multiple hypotheses
— Radio signal-based localization and mapping is becoming more interesting as applications involving the collaboration between robots and static wireless devices are more common....
Fernando Caballero, Luis Merino, Aníbal Oll...
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
15 years 4 months ago
Cell design in bacteria as a convex optimization problem
In this paper, we investigate the cell design of bacteria during the exponential growth. To this purpose, we propose to formulate the problem as a non differentiable convex optimiz...
Anne Goelzer, Vincent Fromion, Gérard Scorl...
FM
2009
Springer
146views Formal Methods» more  FM 2009»
15 years 4 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
ICASSP
2009
IEEE
15 years 4 months ago
Fast mean square convergence of consensus algorithms in WSNs with random topologies
The average consensus in wireless sensor networks is achieved under assumptions of symmetric or balanced topology at every time instant. However, communication and/or node failure...
Silvana Silva Pereira, Alba Pagès-Zamora