592 search results - page 80 / 119 » Analytical Tools for Natural Algorithms |
112
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...
196
click to vote
SIGMOD
2008
ACM
16 years 1 months ago
2008
ACM
Sampling is a popular method of data collection when it is impossible or too costly to reach the entire population. For example, television show ratings in the United States are g...
144
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The success of Internet telephony services like Skype illustrates the feasibility of utilizing unstructured Peer-to-Peer (P2P) networks as an economical platform for supp...
104
click to vote
RTA
2005
Springer
15 years 6 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
139
click to vote
CAIP
2009
Springer
14 years 11 months ago
2009
Springer
This paper describes a method for seamless enlargement or editing of difficult colour textures containing simultaneously both regular periodic and stochastic components. Such textu...