1914 search results - page 262 / 383 » Verification by Abstract Interpretation |
112
click to vote
PLILP
1992
Springer
15 years 4 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
SC
1992
ACM
15 years 4 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
139
Voted
PAKDD
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. Privacy protection in publishing transaction data is an important problem. A key feature of transaction data is the extreme sparsity, which renders any single technique i...
112
Voted
ECML
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Ensemble methods are popular learning methods that usually increase the predictive accuracy of a classifier though at the cost of interpretability and insight in the deci...
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...