4987 search results - page 97 / 998 » Support Ordered Resolution |
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
ICRA
2009
IEEE
14 years 7 months ago
2009
IEEE
We present a novel method for prioritizing both linear equality and inequality systems and provide one algorithm for its resolution. This algorithm can be summarized as a sequence ...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Wavelet transform based image coding algorithms have the two inherent scalable features of SNR scalability and spatial (or resolution) scalability. However, fine scalability is sup...
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
To become robust, a tracking algorithm must be able to support uncertainty and ambiguity often inherently present in the data in form of occlusion and clutter. This comes usually ...
SAMOS
2007
Springer
15 years 4 months ago
2007
Springer
Client-side diversification led the video-coding community to develop scalable video-codecs supporting efficient decoding at varying quality levels. This scalability has a lot of...