482 search results - page 14 / 97 » Exploration in Metric State Spaces |
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
ICRA
2002
IEEE
14 years 20 days 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...
NDSS
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
IROS
2008
IEEE
2008
IEEE
HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes
14 years 2 months ago
— When an emergency occurs within a building, it may be initially safer to send autonomous mobile nodes, instead of human responders, to explore the area and identify hazards and...