2203 search results - page 71 / 441 » Temporal Abstract Interpretation |
128
click to vote
MKM
2009
Springer
15 years 9 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...
116
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
ZMP
2002
15 years 2 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...
119
click to vote
APLAS
2010
ACM
15 years 22 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...
134
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a spatio-temporal query language useful for video interpretation and event recognition. The language is suited to describe configurations of objects moving on ...