Sciweavers

4894 search results - page 397 / 979
» Choices
Sort
View
JNW
2006
145views more  JNW 2006»
15 years 7 months ago
A Comparison of Replication Strategies for Reliable Decentralised Storage
Distributed hash tables (DHTs) can be used as the basis of a resilient lookup service in unstable environments: local routing tables are updated to reflected changes in the network...
Matthew Leslie, Jim Davies, Todd Huffman
JOLLI
2006
86views more  JOLLI 2006»
15 years 7 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
Chris Barker, Chung-chieh Shan
ENTCS
2007
82views more  ENTCS 2007»
15 years 7 months ago
On the Computational Representation of Classical Logical Connectives
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
Jayshan Raghunandan, Alexander J. Summers
ENTCS
2007
107views more  ENTCS 2007»
15 years 7 months ago
Applications = Components + GLoo
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
Markus Lumpe
KBS
2006
150views more  KBS 2006»
15 years 7 months ago
Clusterer ensemble
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 ...
Zhi-Hua Zhou, Wei Tang