Sciweavers

1237 search results - page 32 / 248
» Abstract shade trees
Sort
View
IJAC
2007
89views more  IJAC 2007»
15 years 4 months ago
Bounding Right-Arm Rotation Distances
Abstract. Rotation distance quantifies the difference in shape between two rooted binary trees of the same size by counting the minimum number of elementary changes needed to tra...
Sean Cleary, Jennifer Taback
ICALP
1998
Springer
15 years 8 months ago
Constraint Automata and the Complexity of Recursive Subtype Entailment
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
Fritz Henglein, Jakob Rehof
SIGGRAPH
2000
ACM
15 years 8 months ago
Computer-generated pen-and-ink illustration of trees
We present a method for automatically rendering pen-and-ink illustrations of trees. A given 3-d tree model is illustrated by the tree and a visual representation of the foliage us...
Oliver Deussen, Thomas Strothotte
CBMS
2003
IEEE
15 years 9 months ago
An Interactive Tool for Segmentation, Visualization, and Navigation of Magnetic Resonance Images
An interactive tool for the segmentation, visualization and navigation of magnetic resonance (MR) images is presented. Previous work has shown the hierarchical self-organizing map...
Alan Faulkner, Suchendra M. Bhandarkar
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 8 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...