Sciweavers

1953 search results - page 284 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
TROB
2008
141views more  TROB 2008»
14 years 9 months ago
3-D Snake Robot Motion: Nonsmooth Modeling, Simulations, and Experiments
A nonsmooth (hybrid) 3-D mathematical model of a snake robot (without wheels) is developed and experimentally validated in this paper. The model is based on the framework of nonsmo...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 4 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
CORR
2011
Springer
139views Education» more  CORR 2011»
14 years 5 months ago
A Science Model Driven Retrieval Prototype
This paper is about a better understanding on the structure and dynamics of science and the usage of these insights for compensating the typical problems that arises in metadata-d...
Philipp Mayr, Philipp Schaer, Peter Mutschke
EDOC
2003
IEEE
15 years 3 months ago
A Software Architecture for Industrial Automation
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
Rodrigo García García, Esther Gelle,...
PAMI
2008
183views more  PAMI 2008»
14 years 10 months ago
Shape-and-Behavior Encoded Tracking of Bee Dances
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
Ashok Veeraraghavan, Rama Chellappa, Mandyam Srini...