1064 search results - page 67 / 213 » Single Tree Grammars |
149
Voted
EVOW
2005
Springer
15 years 9 months ago
2005
Springer
Computing consensus trees amounts to finding a single tree that summarizes a collection of trees. Three evolutionary algorithms are defined for this problem, featuring characteri...
108
click to vote
VMV
2008
15 years 4 months ago
2008
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
143
click to vote
STOC
2010
ACM
16 years 26 days ago
2010
ACM
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...
138
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
107
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Detecting code clones has many software engineering applications. Existing approaches either do not scale to large code bases or are not robust against minor code modifications. I...