Sciweavers

1364 search results - page 151 / 273
» Comparative Branching-Time Semantics
Sort
View
136
Voted
FOSSACS
2010
Springer
15 years 10 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
132
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Audio retrieval by latent perceptual indexing
We present a query-by-example audio retrieval framework by indexing audio clips in a generic database as points in a latent perceptual space. First, feature-vectors extracted from...
Shiva Sundaram, Shrikanth Narayanan
ICDM
2008
IEEE
147views Data Mining» more  ICDM 2008»
15 years 10 months ago
Clustering Documents with Active Learning Using Wikipedia
Wikipedia has been applied as a background knowledge base to various text mining problems, but very few attempts have been made to utilize it for document clustering. In this pape...
Anna Huang, David N. Milne, Eibe Frank, Ian H. Wit...
ICDE
2007
IEEE
167views Database» more  ICDE 2007»
15 years 10 months ago
Load Shedding for Window Joins on Multiple Data Streams
We consider the problem of semantic load shedding for continuous queries containing window joins on multiple data streams and propose a robust approach that is effective with the ...
Yan-Nei Law, Carlo Zaniolo
99
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
Toposemantic Network Clustering
— We study the problem of building an optimal network-layer clustering hierarchy, where the optimality can be defined using three potentially conflicting metrics: state, delay ...
Leonid B. Poutievski, Kenneth L. Calvert, Jim Grif...