Sciweavers

9359 search results - page 560 / 1872
» Generalization Algorithms for Second-Order Terms
Sort
View
WWW
2004
ACM
16 years 7 months ago
Gossip based streaming
In this paper, we propose a novel multicast streaming protocol for overlay networks, called Gossip Based Streaming (GBS). In GBS, streaming contents are not come from a single ups...
Xinyan Zhang, Jiangchuan Liu
ICFP
2009
ACM
16 years 7 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...
177
Voted
SIGCSE
2009
ACM
135views Education» more  SIGCSE 2009»
16 years 7 months ago
Breadth-last technical electives: integrating the CS core via computer games and mobile robotics
In this paper, we introduce the concept of breadth-last technical elective courses, which are designed to assist undergraduate CS students in integrating their entire core curricu...
William W. White, Jerry B. Weinberg
KDD
2008
ACM
146views Data Mining» more  KDD 2008»
16 years 7 months ago
Constraint programming for itemset mining
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
Luc De Raedt, Tias Guns, Siegfried Nijssen
KDD
2006
ACM
153views Data Mining» more  KDD 2006»
16 years 7 months ago
Model compression
Often the best performing supervised learning models are ensembles of hundreds or thousands of base-level classifiers. Unfortunately, the space required to store this many classif...
Cristian Bucila, Rich Caruana, Alexandru Niculescu...