Sciweavers

12052 search results - page 569 / 2411
» computing 2010
Sort
View
ICDCN
2010
Springer
16 years 1 months ago
A Leader-Free Byzantine Consensus Algorithm
The paper considers the consensus problem in a partially synchronous system with Byzantine faults. It turns out that, in the partially synchronous system, all deterministic algorit...
Fatemeh Borran, André Schiper
PERVASIVE
2010
Springer
16 years 1 months ago
12Pixels: Exploring Social Drawing on Mobile Phones
In this paper we present the design and development of 12Pixels, a novel interface, application, and social web service that allows people to create and share drawings directly fro...
Karl D. D. Willis, Ivan Poupyrev
SAC
2010
ACM
16 years 11 days ago
Box consistency through adaptive shaving
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...
Alexandre Goldsztejn, Frédéric Goual...
SAC
2010
ACM
16 years 11 days ago
Mining interesting sets and rules in relational databases
In this paper we propose a new and elegant approach toward the generalization of frequent itemset mining to the multirelational case. We define relational itemsets that contain i...
Bart Goethals, Wim Le Page, Michael Mampaey
CIE
2010
Springer
15 years 12 months ago
Haskell before Haskell: Curry's Contribution to Programming (1946-1950)
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
Liesbeth De Mol, Maarten Bullynck, Martin Carl&eac...