Sciweavers

2834 search results - page 96 / 567
» A Probabilistic Approach to Measuring Robustness in Computin...
Sort
View
AUTOMATICA
2006
88views more  AUTOMATICA 2006»
13 years 8 months ago
Exact computation of amplification for a class of nonlinear systems arising from cellular signaling pathways
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...
Eduardo D. Sontag, Madalena Chaves
IROS
2009
IEEE
147views Robotics» more  IROS 2009»
14 years 2 months ago
A multi-hypothesis topological SLAM approach for loop closing on edge-ordered graphs
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
Stephen Tully, George Kantor, Howie Choset, Felix ...
QEST
2007
IEEE
14 years 2 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
EMMCVPR
2009
Springer
14 years 2 months ago
Image Filtering Driven by Level Curves
This paper presents an approach to image filtering that is driven by the properties of the iso-valued level curves of the image and their relationship with one another. We explore...
Ajit Rajwade, Arunava Banerjee, Anand Rangarajan
ACCV
2009
Springer
14 years 2 months ago
Robust Real-Time Multiple Target Tracking
We propose a novel efficient algorithm for robust tracking of a fixed number of targets in real-time with low failure rate. The method is an instance of Sequential Importance Resa...
Nicolai von Hoyningen-Huene, Michael Beetz