4814 search results - page 846 / 963 » Combining abstract interpreters |
121
Voted
TSD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Maltparser is a contemporary dependency parsing machine learningbased system that shows great accuracy. However 90% for Labelled Attachment Score (LAS) seems to be a de f...
135
Voted
WRLA
2010
15 years 1 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
119
Voted
WRLA
2010
15 years 1 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
139
click to vote
APSCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
155
Voted
ATS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...