Sciweavers

2767 search results - page 154 / 554
» Universal Exponentiation Algorithm
Sort
View
IANDC
2010
79views more  IANDC 2010»
14 years 8 months ago
Complexity of deciding bisimilarity between normed BPA and normed BPP
We present a polynomial-time algorithm deciding bisimilarity between a normed BPA process and a normed BPP process, with running time O(n7 ). This improves the previously known ex...
Petr Jancar, Martin Kot, Zdenek Sawa
WDAG
2010
Springer
185views Algorithms» more  WDAG 2010»
14 years 8 months ago
The Computational Structure of Progress Conditions
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
Gadi Taubenfeld
IADIS
2009
14 years 8 months ago
Caching news channels on the user's desktop
The exponential growth of the Web probes for new, better filtering systems and latency diminishing applications. We are presenting the caching features that are deployed in the cl...
Christos Bouras, George Tsichritzis, Vassilis Tsog...
108
Voted
CVPR
2009
IEEE
16 years 5 months ago
3D Reconstruction of Curved Objects from Single 2D Line Drawings
An important research area in computer vision is developing algorithms that can reconstruct the 3D surface of an object represented by a single 2D line drawing. Previous work on...
Yingze Wang (The Chinese University of Hong Kong),...
66
Voted
ICDT
2005
ACM
102views Database» more  ICDT 2005»
15 years 3 months ago
Selecting and Using Views to Compute Aggregate Queries (Extended Abstract)
d abstract) Foto Afrati1 and Rada Chirkova2 1 Electrical and Computing Eng., National Technical University of Athens, 157 73 Athens, Greece 2 Computer Science Department, North Car...
Foto N. Afrati, Rada Chirkova