2168 search results - page 307 / 434 » Randomized Algorithms and Complexity Theory |
116
click to vote
KDD
2008
ACM
16 years 3 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 ...
120
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
104
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
125
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
126
Voted
WIA
2009
Springer
15 years 10 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...