Sciweavers

385 search results - page 23 / 77
» Perturbation Analysis with Qualitative Models
Sort
View
ROBOTICA
2008
121views more  ROBOTICA 2008»
14 years 11 months ago
Kinematic and dynamic performance analysis of artificial legged systems
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
Manuel F. Silva, José António Tenrei...
ACRI
2004
Springer
15 years 5 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
CAISE
2010
Springer
15 years 10 hour ago
Success Factors of e-Collaboration in Business Process Modeling
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
Peter Rittgen
COCOON
2009
Springer
15 years 6 months ago
On Smoothed Analysis of Quicksort and Hoare's Find
We provide a smoothed analysis of Hoare’s find algorithm and we revisit the smoothed analysis of quicksort. Hoare’s find algorithm – often called quickselect – is an easy...
Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Ni...
TSMC
2010
14 years 6 months ago
On Robust Stability of Stochastic Genetic Regulatory Networks With Time Delays: A Delay Fractioning Approach
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
Yao Wang, Zidong Wang, Jinling Liang