592 search results - page 111 / 119 » Analytical Tools for Natural Algorithms |
CAV
2009
Springer
16 years 4 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
175
click to vote
PODS
2009
ACM
16 years 4 days ago
2009
ACM
APPEARED IN ACM PODS-2009. A sliding windows model is an important case of the streaming model, where only the most "recent" elements remain active and the rest are disc...
KDD
2006
ACM
16 years 17 hour ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...
203
click to vote
POPL
2007
ACM
15 years 12 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
WSDM
2009
ACM
15 years 6 months ago
2009
ACM
The Web is a dynamic, ever changing collection of information. This paper explores changes in Web content by analyzing a crawl of 55,000 Web pages, selected to represent different...