Sciweavers

77016 search results - page 36 / 15404
» Modeling
Sort
View
PRICAI
2004
Springer
14 years 1 months ago
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
Wayne Wobcke
ICRA
2003
IEEE
142views Robotics» more  ICRA 2003»
14 years 29 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
ER
2006
Springer
87views Database» more  ER 2006»
13 years 11 months ago
Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
Stefano Spaccapietra, Christine Parent, Esteban Zi...
BMVC
2002
13 years 10 months ago
g-HDAF Multiresolution Deformable Models for Shape Modeling and Reconstruction
In this paper, we construct a new class of deformable models using new biorthogonal wavelets, named Generalized Hermite Distributed Approximating Functional (g-HDAF) Wavelets. The...
Ioannis A. Kakadiaris, Emmanuel Papadakis, Lixin S...
FMOODS
2007
13 years 9 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