Sciweavers

26151 search results - page 89 / 5231
» Parameterized system design
Sort
View
145
Voted
FAC
2007
94views more  FAC 2007»
15 years 5 months ago
Parametric probabilistic transition systems for system design and analysis
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ICCV
1998
IEEE
16 years 7 months ago
Representation and Self-Similarity of Shapes
Representing shapes is a signi cant problem for vision systems that must recognize or classify objects. We derive a representation for a given shape by investigating its self-simi...
Tyng-Luh Liu, Davi Geiger, Robert Kohn
WWW
2008
ACM
16 years 6 months ago
Composing and optimizing data providing web services
In this paper, we propose a new approach to automatically compose data providing Web services. Our approach exploits existing mature works done in data integration systems. Specif...
Mahmoud Barhamgi, Djamal Benslimane, Aris M. Oukse...
IROS
2006
IEEE
157views Robotics» more  IROS 2006»
15 years 11 months ago
Trajectory and Spline Generation for All-Wheel Steering Mobile Robots
We present a method for trajectory generation for all-wheel steering mobile robots which can account for rough terrain and predictable vehicle dynamics and apply it to the problem...
Thomas M. Howard, Alonzo Kelly
151
Voted
DFG
2004
Springer
15 years 11 months ago
A Unifying Semantics for Sequential Function Charts
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastia...