29 search results - page 1 / 6 » Improving the Alternating Fixpoint: The Transformation Appro... |
LPNMR
1997
Springer
13 years 9 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
FOIKS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
1 Low bitrates enabled by the H.264/AVC standard come at the cost of significant decoding complexity. The problem is exacerbated when multi-view video coding (MVC), presently being...
DCC
2001
IEEE
14 years 4 months ago
2001
IEEE
Lossless compression researchers have developed highly sophisticated approaches, such as Huffman encoding, arithmetic encoding, the Lempel-Ziv family, Dynamic Markov Compression (D...
ICDM
2005
IEEE
13 years 10 months ago
2005
IEEE
The most suitable method for the automated classification of protein structures remains an open problem in computational biology. In order to classify a protein structure with an...