1689 search results - page 231 / 338 » Refining abstract interpretations |
146
click to vote
PLILP
1992
Springer
15 years 8 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...
126
click to vote
SC
1992
ACM
15 years 8 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...
203
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
171
Voted
PAKDD
2010
ACM
15 years 8 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...
154
click to vote
ECML
2007
Springer
15 years 8 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...