735 search results - page 74 / 147 » A Mechanization of Phylogenetic Trees |
297
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
A common approach to performing keyword search over relational databases is to find the minimum Steiner trees in database graphs. These methods, however, are rather expensive as th...
159
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
163
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents an algorithm for implementing optimal hardware-based multicast trees, on networks that provide hardware support for collective communication. Although the prop...
212
click to vote
MACE
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
165
click to vote
SPLC
2007
15 years 7 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...