Sciweavers

1836 search results - page 151 / 368
» Hierarchies for semantic classes
Sort
View
SIGMOD
2005
ACM
114views Database» more  SIGMOD 2005»
15 years 10 months ago
Semantic characterizations of navigational XPath
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...
Maarten Marx, Maarten de Rijke
QEST
2008
IEEE
15 years 4 months ago
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye...
ATAL
2005
Springer
15 years 3 months ago
Sift and Sort: Climbing the Semantic Pyramid
Information processing operations in support of intelligence analysis are of two kinds. They may sift relevant data from a larger body, thus reducing its quantity, or sort that dat...
H. Van Dyke Parunak, Peter Weinstein, Paul Chiusan...
ESOP
2001
Springer
15 years 2 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
ICMCS
2000
IEEE
138views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Structural and Semantic Analysis of Video
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
Shih-Fu Chang, Hari Sundaram