Sciweavers

10988 search results - page 391 / 2198
» Algorithmic Folding Complexity
Sort
View
ICFEM
2009
Springer
15 years 2 months ago
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
Jiri Barnat, Lubos Brim, Petr Rockai
SIAMCOMP
2010
172views more  SIAMCOMP 2010»
14 years 11 months ago
Deterministic Polynomial Time Algorithms for Matrix Completion Problems
We present new deterministic algorithms for several cases of the maximum rank matrix completion problem (for short matrix completion), i.e. the problem of assigning values to the ...
Gábor Ivanyos, Marek Karpinski, Nitin Saxen...
ICIP
1998
IEEE
16 years 6 months ago
An Efficient Motion Estimation Algorithm based on Tracing Techniques on Large Search Windows
Motion estimation represents the most computationally intensive task for all efficient motion compensated compression standards. This fact, despite the several eflorts aiming at r...
Marco Mattavelli, Giorgio Zoia

Publication
222views
16 years 2 months ago
Algorithms and Bounds for Rollout Sampling Approximate Policy Iteration
Abstract: Several approximate policy iteration schemes without value functions, which focus on policy representation using classifiers and address policy learning as a supervis...
Christos Dimitrakakis, Michail G. Lagoudakis
ISM
2008
IEEE
149views Multimedia» more  ISM 2008»
15 years 11 months ago
An Object-Based Mode Decision Algorithm for Multi-view Video Coding
Reducing spatial redundancies between different camera views is one of the major challenges in multiview video coding (MVC). However, with drastic increase in time consumption of ...
Seo-Young Lee, Kwang-Mu Shin, Ki-Dong Chung