735 search results - page 105 / 147 » A Mechanization of Phylogenetic Trees |
195
click to vote
MMS
1998
15 years 5 months ago
1998
We analyze the maximum throughput that known classes of reliable multicast transport protocols can attain. A new taxonomy of reliable multicast transport protocols is introduced ba...
160
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Self-adaptation of the mutation strengths is a powerful mechanism in evolution strategies (ES), but it can fail. As a consequence premature convergence or ending up in a local opt...
177
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper contains a detailed description of the congestion control algorithm of TRAM, a tree-based reliable multicast protocol. This algorithm takes advantage of regular ackn...
265
click to vote
PLILP
1993
Springer
15 years 10 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
151
click to vote
DLS
2007
15 years 10 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...