Sciweavers

4118 search results - page 609 / 824
» Efficient Algorithms for Airline Problem
Sort
View
RECOMB
2006
Springer
16 years 4 months ago
Structural Alignment of Pseudoknotted RNA
In this paper, we address the problem of discovering novel non-coding RNA (ncRNA) using primary sequence, and secondary structure conservation, focusing on ncRNA families with pseu...
Banu Dost, Buhm Han, Shaojie Zhang, Vineet Bafna
CADE
2006
Springer
16 years 4 months ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman
VLDB
2007
ACM
137views Database» more  VLDB 2007»
16 years 4 months ago
Improving Data Quality: Consistency and Accuracy
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
Gao Cong, Wenfei Fan, Floris Geerts, Xibei Jia, Sh...
261
Voted
SIGMOD
2009
ACM
191views Database» more  SIGMOD 2009»
16 years 4 months ago
Scalable skyline computation using object-based space partitioning
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
Shiming Zhang, Nikos Mamoulis, David W. Cheung
EDBT
2006
ACM
182views Database» more  EDBT 2006»
16 years 4 months ago
On High Dimensional Skylines
In many decision-making applications, the skyline query is frequently used to find a set of dominating data points (called skyline points) in a multidimensional dataset. In a high-...
Chee Yong Chan, H. V. Jagadish, Kian-Lee Tan, Anth...