3179 search results - page 309 / 636 » Applications of PCF Theory |
193
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
95
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
The development of computer-based devices for music control has created a need to study how spectators understand new performance technologies and practices. As a part of a larger...
KDD
2008
ACM
16 years 1 months ago
2008
ACM
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 ...
108
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
1 A bridging rule in this paper has its antecedent and action from different conceptual clusters. We first design two algorithms for mining bridging rules between clusters in a dat...
80
Voted
CHI
2008
ACM
16 years 1 months ago
2008
ACM
TwelvePixels is an interface for drawing pixel-based imagery using only the standard keys on the mobile phone handset. Using an essentially simple drawing method, an extensive ran...