Sciweavers

1562 search results - page 28 / 313
» Convenience Over Correctness
Sort
View
VLDB
2005
ACM
103views Database» more  VLDB 2005»
14 years 2 months ago
Semantic Query Optimization for XQuery over XML Streams
We study XML stream-specific schema-based optimization. We assume a widely-adopted automata-based execution model for XQuery evaluation. Criteria are established regarding what s...
Hong Su, Elke A. Rundensteiner, Murali Mani
FM
2001
Springer
142views Formal Methods» more  FM 2001»
14 years 1 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...
CORR
2010
Springer
261views Education» more  CORR 2010»
13 years 6 months ago
Analysis of Quasi-Cyclic LDPC codes under ML decoding over the erasure channel
In this paper, we show that over the binary erasure channel, Quasi-Cyclic LDPC codes can efficiently accommodate the hybrid iterative/ML decoding. We demonstrate that the quasicycl...
Mathieu Cunche, Valentin Savin, Vincent Roca
VTC
2007
IEEE
108views Communications» more  VTC 2007»
14 years 3 months ago
Joint Optimization of Iterative Source and Channel Decoding Using Over-Complete Source-Mapping
— The intentionally imposed or inherent unintentional residual redundancy found in source encoded bitstreams can be exploited for supporting joint SoftBit-Source Decoding and Cha...
Anh Quang Pham, Lie-Liang Yang, Lajos Hanzo
EDBT
2009
ACM
126views Database» more  EDBT 2009»
14 years 9 days ago
A tool for mapping discovery over revealing schemas
In a world of wide-scale information sharing, the decentralized coordination has to consolidate a variety of heterogeneity. Shared data are described in different formats, i.e. da...
Verena Kantere, Dimos Bousounis, Timos K. Sellis