878 search results - page 61 / 176 » Choice and development |
124
click to vote
ENTCS
2006
15 years 4 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
123
click to vote
JLP
2008
15 years 4 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
145
click to vote
JBI
2006
15 years 4 months ago
2006
Numerous metrics have been developed that attempt to assess the reliability of phylogenetic trees. Several of these commonly used measures of tree and tree branch support are desc...
141
click to vote
KBS
2006
15 years 4 months ago
2006
Ensemble methods that train multiple learners and then combine their predictions have been shown to be very effective in supervised learning. This paper explores ensemble methods ...
128
click to vote
PPL
2008
15 years 4 months ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...