1724 search results - page 57 / 345 » Abstract Interpreters for Free |
144
click to vote
IDEAL
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Analysis of data without labels is commonly subject to scrutiny by unsupervised machine learning techniques. Such techniques provide more meaningful representations, usef...
153
click to vote
MKM
2009
Springer
15 years 12 months ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...
ZMP
2002
15 years 5 months ago
2002
Abstract. Music video (MV) content is frequently measured using researcher descriptions. This study examines subjective or viewers' notions of sex and violence. 168 university...
145
Voted
APLAS
2010
ACM
15 years 2 months 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...
118
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...