11172 search results - page 314 / 2235 » Testing Physical Systems |
165
click to vote
CGF
2002
15 years 6 months ago
2002
In this paper, we describe a method for cloth animation in real-time. The algorithm works in a hybrid manner exploiting the merits of both the physical-based and geometric deforma...
177
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Motion planning of deformable objects is challenging due to the high degrees-of-freedom inherent in deformation as well as the computational cost of producing physically...
149
click to vote
JCPHY
2011
14 years 9 months ago
2011
The physics of particle-laden thin film flow is not fully understood, and recent experiments have raised questions with current theory. There is a need for fully two-dimensional...
153
click to vote
ASPDAC
2005
ACM
16 years 8 days ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
179
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...