Sciweavers

4403 search results - page 347 / 881
» Galois Theory of Algorithms
Sort
View
ICIP
1999
IEEE
16 years 8 months ago
Minimum Mean Square Error Fir Filter Banks with Arbitrary Filter Lengths
The performance of subband image coders depends on the proper choice of filter banks. It is therefore desirable to find algorithms for optimizing the filter banks. A theory for fi...
Are Hjørungnes, Helge Coward, Tor A. Ramsta...
ICIP
1995
IEEE
16 years 8 months ago
Mathematical analysis of MPEG compression capability and its application to rate control
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...
Jiro Katto, Mutsumi Ohta
PODS
2007
ACM
107views Database» more  PODS 2007»
16 years 7 months ago
Polynomial time fragments of XPath with variables
Variables are the distinguishing new feature of XPath 2.0 which permits to select n-tuples of nodes in trees. It is known that the Core of XPath 2.0 captures n-ary first-order (FO...
Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot...
PODS
2008
ACM
120views Database» more  PODS 2008»
16 years 7 months ago
Effective characterizations of tree logics
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
Mikolaj Bojanzyk
ICTAI
2009
IEEE
16 years 1 months ago
Translation of an Argumentation Framework into a CP-Boolean Game
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
Elise Bonzon, Caroline Devred, Marie-Christine Lag...