589 search results - page 5 / 118 » Introducing Dynamic Constraints in B |
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
IEEESCC
2009
IEEE
13 years 4 months ago
2009
IEEE
Dynamic service composition is suitable for on-demand business requests. For autonomic computing, service composition needs to deal with runtime environment faults, but also with ...
VRIPHYS
2010
13 years 1 months ago
2010
We present a novel bending model and constraint creation method for position-based dynamics. Our new bending model is introduced as an alternative to the current state-of-the-art ...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Tracking of speckles in echocardiography enables the study of myocardium deformation, and thus can provide insights about heart structure and function. Most of the current methods...
JCB
2006
13 years 7 months ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...