2661 search results - page 208 / 533 » A Semantics for Abstraction |
151
click to vote
LPNMR
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
148
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Segmenting videos into smaller, semantically related segments which ease the access of the video data is a challenging open research. In this paper, we present a scheme f...
163
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
278
click to vote
PPSWR
2005
Springer
16 years 4 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
180
click to vote
MTA
2002
15 years 6 months ago
2002
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...