Sciweavers

3824 search results - page 48 / 765
» Geometry Constructions Language
Sort
View
SIGGRAPH
1999
ACM
14 years 2 months ago
Skin: A Constructive Approach to Modeling Free-Form Shapes
We present a new particle-based surface representation with which a user can interactively sculpt free-form surfaces. The particles maintain mesh connectivity and operate under ru...
Lee Markosian, Jonathan M. Cohen, Thomas Crulli, J...
ICALP
2001
Springer
14 years 2 months ago
Minimal Tail-Biting Trellises for Certain Cyclic Block Codes Are Easy to Construct
We give simple algorithms for the construction of generator matrices for minimal tail-biting trellises for a powerful and practical subclass of the linear cyclic codes, from which ...
Priti Shankar, P. N. A. Kumar, Harmeet Singh, B. S...
ICALP
1997
Springer
14 years 2 months ago
Constructive Linear Time Algorithms for Branchwidth
We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth≤ k and, if so, outputs a branch decomposition of minimum width....
Hans L. Bodlaender, Dimitrios M. Thilikos
ACL
2001
13 years 11 months ago
Automated Parser Construction from a Treebank by means of TBL and ILP
Considering the difficulties inherent in the manual construction of natural language parsers, we have designed and implemented our system GRIND which is capable of learning a sequ...
Miloslav Nepil
MST
2008
101views more  MST 2008»
13 years 10 months ago
Realizability interpretation of proofs in constructive analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg