4480 search results - page 124 / 896 » Prototyping Completion with Constraints Using Computational ... |
154
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We introduce a new method for simulating frictional contact between volumetric objects using interpenetration volume constraints. When applied to complex geometries, our formulati...
205
click to vote
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
177
click to vote
WSCG
2003
15 years 7 months ago
2003
We describe a system for interactive animation of cloth, which can be used in e-commerce applications, games or even in virtual prototyping systems. In order not to restrict the s...
163
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
158
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
To make practical ubiquitous computing environment for everyday activities especially for house and home, the environment has to be proactively managed by the users at home themsel...