623 search results - page 53 / 125 » Velocity-Dependent Dynamic Manipulability |
108
click to vote
DAC
1999
ACM
15 years 5 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
111
Voted
JVCIR
2007
15 years 21 days ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
95
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
133
click to vote
PG
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a novel paradigm for point set surface editing, which takes advantages of the potential of implicit surfaces, the strength of physics based modeling techniques...
90
Voted
CSREASAM
2006
15 years 2 months ago
2006
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...