Sciweavers

9219 search results - page 384 / 1844
» Dynamics Modeling and Culling
Sort
View
ICRA
2003
IEEE
142views Robotics» more  ICRA 2003»
16 years 3 days ago
Model identification and attitude control for a micromechanical flying insect including thorax and sensor models
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
Xinyan Deng, Luca Schenato, Shankar Sastry
FMOODS
2007
15 years 8 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga
GEOINFO
2007
15 years 8 months ago
Model Selection for a Class of Spatio-temporal Models for Areal Data
Abstract. We present a method to perform model selection based on predictive density in a class of spatio-temporal dynamic generalized linear models for areal data. These models as...
Juan C. Vivar, Marco A. R. Ferreira
ACRI
2006
Springer
16 years 24 days ago
CA Simulation of Biological Evolution in Genetic Hyperspace
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
Michael A. Saum, Sergey Gavrilets
ASPDAC
1995
ACM
110views Hardware» more  ASPDAC 1995»
15 years 10 months ago
Current and charge estimation in CMOS circuits
: CMOS circuits have significant amounts of dynamic short-circuit (or through) current. This can be as large as 20% of the total in well-designed circuits, and up to 80% of the tot...
Sanjay Dhar, Dave J. Gurney