17983 search results - page 136 / 3597 » Set Types and Applications |
169
click to vote
DM
2008
15 years 5 months ago
2008
Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying pS(x + y) = TU=S pT (x)pU (y). Using umbral calculus, we give a formula for t...
163
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
152
click to vote
FLOPS
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
182
click to vote
ICDM
2006
IEEE
16 years 14 days ago
2006
IEEE
One of the major problems in frequent pattern mining is the explosion of the number of results, making it difficult to identify the interesting frequent patterns. In a recent pap...
172
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...