Sciweavers

4806 search results - page 102 / 962
» Interactive uncertainty analysis
Sort
View
110
Voted
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 8 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
ICRA
2006
IEEE
127views Robotics» more  ICRA 2006»
15 years 8 months ago
Consistency of the FastSLAM Algorithm
— This paper presents an analysis of FastSLAM— a Rao-Blackwellised particle filter formulation of simultaneous localisation and mapping. It shows that the algorithm degenerate...
Tim Bailey, Juan Nieto, Eduardo Mario Nebot
IROS
2006
IEEE
88views Robotics» more  IROS 2006»
15 years 8 months ago
Reliability-Based Design Optimization of Robotic System Dynamic Performance
In this investigation a robotic system’s dynamic performance is optimized for high reliability under uncertainty. The dynamic capability equations allow designers to predict the...
Alan P. Bowling, John E. Renaud, Jeremy T. Newkirk...
IPPS
2005
IEEE
15 years 8 months ago
The Applicability of Adaptive Control Theory to QoS Design: Limitations and Solutions
Due to the increasing complexity, the behavior of large-scale distributed systems becomes difficult to predict. The ability of on-line identification and autotuning of adaptive co...
Keqiang Wu, David J. Lilja, Haowei Bai
141
Voted
CVPR
2009
IEEE
15 years 6 months ago
Dual distributions of multilinear geometric entities
In this paper, we propose how the parameter distributions of multilinear geometric entities can be dualised. The dualisation concern, for example, the parameter distributions of c...
Sami S. Brandt