Sciweavers

4860 search results - page 705 / 972
» SNPs Problems, Complexity, and Algorithms
Sort
View
ICASSP
2008
IEEE
16 years 1 months ago
Predictive fusion coding of spatio-temporally correlated sources
This paper considers the problem of predictive fusion coding for storage of multiple spatio-temporally correlated sources so as to enable efficient selective retrieval of data fr...
Sharadh Ramaswamy, Kenneth Rose
MEMOCODE
2008
IEEE
16 years 29 days ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot
DASFAA
2007
IEEE
199views Database» more  DASFAA 2007»
16 years 27 days ago
Detection and Visualization of Subspace Cluster Hierarchies
Subspace clustering (also called projected clustering) addresses the problem that different sets of attributes may be relevant for different clusters in high dimensional feature sp...
Elke Achtert, Christian Böhm, Hans-Peter Krie...
CIKM
2005
Springer
16 years 3 days ago
Interconnection semantics for keyword search in XML
A framework for describing semantic relationships among nodes in XML documents is presented. In contrast to earlier work, the XML documents may have ID references (i.e., they corr...
Sara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua...
COCOON
2005
Springer
16 years 3 days ago
Promised and Distributed Quantum Search
This paper gives a quantum algorithm to search in an set S for a k-tuple satisfying some predefined relation, with the promise that some components of a desired k-tuple are in som...
Shengyu Zhang