1382 search results - page 164 / 277 » Formal Analysis of Online Algorithms |
160
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...
192
click to vote
SYRCODIS
2007
15 years 7 months ago
2007
High complexity of lattice construction algorithms and uneasy way of visualising lattices are two important problems connected with the formal concept analysis. Algorithm complexi...
153
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
161
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Online photo services such as Flickr and Zooomr allow users to share their photos with family, friends, and the online community at large. An important facet of these services is ...
165
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Online stores providing subscription services need to extend user subscription periods as long as possible to increase their profits. Conventional recommendation methods recommend...