735 search results - page 109 / 147 » A Mechanization of Phylogenetic Trees |
266
click to vote
ICDE
1998
IEEE
16 years 7 months ago
1998
IEEE
?Past R-tree studies have focused on the number of nodes visited as a metric of query performance. Since database systems usually include a buffering mechanism, we propose that the...
153
click to vote
OOPSLA
2009
Springer
16 years 19 days ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
153
click to vote
INFOCOM
2006
IEEE
16 years 4 days ago
2006
IEEE
— The current Domain Name System (DNS) follows a hierarchical tree structure. Several recent efforts proposed to re-implement DNS as a peer-to-peer network with a flat structure...
141
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— Estimation of network proximity among nodes is an important building block in several applications like service selection and composition, multicast tree formation, and overlay...
182
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...