Sciweavers

10988 search results - page 2037 / 2198
» Algorithmic Folding Complexity
Sort
View
123
Voted
APGV
2010
ACM
266views Visualization» more  APGV 2010»
15 years 7 months ago
Horizon estimation: perceptual and computational experiments
The human visual system is able to quickly and robustly infer a wealth of scene information – the scene "gist" – already after 100 milliseconds of image presentation...
Christian Herdtweck, Christian Wallraven
COCO
2010
Springer
198views Algorithms» more  COCO 2010»
15 years 7 months ago
Derandomized Parallel Repetition Theorems for Free Games
—Raz’s parallel repetition theorem [21] together with improvements of Holenstein [12] shows that for any two-prover one-round game with value at most 1 − (for ≤ 1/2), the v...
Ronen Shaltiel
136
Voted
COCO
2010
Springer
129views Algorithms» more  COCO 2010»
15 years 7 months ago
On the Relative Strength of Pebbling and Resolution
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
Jakob Nordström
140
Voted
KDD
2010
ACM
253views Data Mining» more  KDD 2010»
15 years 7 months ago
Mining periodic behaviors for moving objects
Periodicity is a frequently happening phenomenon for moving objects. Finding periodic behaviors is essential to understanding object movements. However, periodic behaviors could b...
Zhenhui Li, Bolin Ding, Jiawei Han, Roland Kays, P...
PODC
2010
ACM
15 years 7 months ago
Eventually linearizable shared objects
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
Marco Serafini, Dan Dobre, Matthias Majuntke, P&ea...
« Prev « First page 2037 / 2198 Last » Next »