735 search results - page 112 / 147 » A Mechanization of Phylogenetic Trees |
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
168
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—Several recently proposed multicast protocols use inpacket Bloom filters to encode multicast trees. These mechanisms are in principle highly scalable because no per-fl...
241
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
130
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
160
click to vote
ICSM
2009
IEEE
16 years 22 days ago
2009
IEEE
Code clone management has been shown to have several benefits for software developers. When source code evolves, clone management requires a mechanism to efficiently and increme...