13306 search results - page 346 / 2662 » Theoretical Computer Science |
192
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we discuss how to reconstruct 3D models from multi-view engineering draws by employing human engineers' approaches. Human's `divide and conquer' inter...
162
click to vote
CAD
1999
Springer
15 years 6 months ago
1999
Springer
The method of consecutive revolving or extrusion of a geometric entity in a CAD system is typically used by a designer to represent complex solids. While it is evident that consec...
146
click to vote
CAD
1999
Springer
15 years 6 months ago
1999
Springer
The numerical approach to solving geometric constraint problems is indispensable for building a practical CAD system. The most commonly-used numerical method is the Newton
150
click to vote
TCS
1998
15 years 6 months ago
1998
The notion of treewidth has seen to be a powerful vehicle for many graph algorithmic studies. This survey paper wants to give an overview of many classes of graphs that can be see...
173
click to vote
TCS
1998
15 years 6 months ago
1998
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], cidable observational pre-order, and that its fully abstract model is effectively presentable. This is in ma...