427 search results - page 36 / 86 » Computing the Local Consensus of Trees |
127
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We seek a framework that addresses localization, detection and recognition of man-made objects in natural-scene images in a unified manner. We propose to model artificial structur...
131
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Consider a distributed network with nodes arranged in a tree, and each node having a local value. We consider the problem of aggregating values (e.g., summing values) from all nod...
169
Voted
RTA
2005
Springer
15 years 10 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
170
click to vote
ALMOB
2007
15 years 5 months ago
2007
Understanding the protein folding mechanism remains a grand challenge in structural biology. In the past several years, computational theories in molecular dynamics have been empl...
157
Voted
BMCBI
2008
15 years 5 months ago
2008
Background: Inference of evolutionary trees using the maximum likelihood principle is NP-hard. Therefore, all practical methods rely on heuristics. The topological transformations...