2272 search results - page 254 / 455 » A Calculus for |
147
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...
230
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
161
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
149
click to vote
STOC
2001
ACM
16 years 4 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
161
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...