77016 search results - page 614 / 15404 » Modelling |
238
click to vote
AMC
2011
14 years 10 months ago
2011
For a family of differential equations with infinite delay, we give sufficient conditions for the global asymptotic, and global exponential stability of an equilibrium point. Th...
243
click to vote
HRI
2011
ACM
14 years 10 months ago
2011
ACM
Several machine learning techniques are used to model the behavior of children with autism interacting with a humanoid robot, comparing a static model to a dynamic model using han...
214
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
We present a new class of deformable models, MetaMorphs, whose formulation integrates both shape and interior texture. The model deformations are derived from both boundary and re...
174
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
235
click to vote
MOBICOM
2004
ACM
16 years 19 days ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the e...