2188 search results - page 93 / 438 » Instance-Optimal Geometric Algorithms |
129
Voted
CAD
2005
Springer
15 years 2 months ago
2005
Springer
Subdivision surfaces are generated by repeated approximation or interpolation from initial control meshes. In this paper, two new nonlinear subdivision schemes, face based subdivi...
118
Voted
IJIS
2002
15 years 2 months ago
2002
ior-based robots, planning is necessary to elaborate abstract plans that resolve complex navigational tasks. Usually maps of the environment are used to plan the robot motion and t...
121
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...
121
click to vote
SMA
2010
ACM
15 years 2 months ago
2010
ACM
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...
116
click to vote
CAV
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...