4814 search results - page 62 / 963 » Combining abstract interpreters |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
ECCV
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Sparse signal models learned from data are widely used in audio, image, and video restoration. They have recently been generalized to discriminative image understanding t...
MKM
2009
Springer
14 years 4 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...
CDC
2009
IEEE
14 years 2 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
13 years 9 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...