Sciweavers

780 search results - page 109 / 156
» Stability of fast algorithms for structured linear systems
Sort
View
85
Voted
DAC
1999
ACM
15 years 2 months ago
Using Lower Bounds During Dynamic BDD Minimization
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...
Rolf Drechsler, Wolfgang Günther
PRESENCE
1998
83views more  PRESENCE 1998»
14 years 9 months ago
Real-Time Continuous Multi-Resolution Method for Models of Arbitrary Topology
Many multiresolution methods have been proposed. Most of them emphasize accuracy and hence are slow. Some methods may be fast, but they may not preserve the geometry of the model....
Rynson W. H. Lau, Mark Green, Danny S. P. To, Jani...
ICML
2006
IEEE
15 years 11 months ago
Maximum margin planning
Mobile robots often rely upon systems that render sensor data and perceptual features into costs that can be used in a planner. The behavior that a designer wishes the planner to ...
Nathan D. Ratliff, J. Andrew Bagnell, Martin Zinke...
HT
2009
ACM
15 years 4 months ago
The scalable hyperlink store
This paper describes the Scalable Hyperlink Store, a distributed in-memory “database” for storing large portions of the web graph. SHS is an enabler for research on structural...
Marc Najork
CAD
2006
Springer
14 years 10 months ago
An efficient, error-bounded approximation algorithm for simulating quasi-statics of complex linkages
Design and analysis of articulated mechanical structures, commonly referred to as linkages, is an integral part of any CAD/CAM system. The most common approaches formulate the pro...
Stephane Redon, Ming C. Lin