2776 search results - page 54 / 556 » System-Level Abstraction Semantics |
150
Voted
IRCDL
2007
15 years 4 months ago
2007
Abstract— In this paper we suggest a new approach to represent text document collections, integrating background knowledge to improve clustering effectiveness. Background knowled...
114
Voted
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
102
Voted
ENTCS
2008
15 years 2 months ago
2008
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
167
Voted
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
106
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...