Sciweavers

1458 search results - page 131 / 292
» Monads for incremental computing
Sort
View
JSCIC
2006
98views more  JSCIC 2006»
15 years 3 months ago
Optimal Strong-Stability-Preserving Time-Stepping Schemes with Fast Downwind Spatial Discretizations
In the field of strong-stability-preserving time discretizations, a number of researchers have considered using both upwind and downwind approximations for the same derivative, in...
Sigal Gottlieb, Steven J. Ruuth
PVLDB
2010
84views more  PVLDB 2010»
15 years 1 months ago
Processing Top-k Join Queries
We consider the problem of efficiently finding the top-k answers for join queries over web-accessible databases. Classical algorithms for finding top-k answers use branch-and-b...
Minji Wu, Laure Berti-Equille, Amélie Maria...
171
Voted
ECEASST
2010
15 years 26 days ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
104
Voted
ICPR
2008
IEEE
16 years 4 months ago
Growing neural gas for temporal clustering
Conventional clustering techniques provide a static snapshot of each vector's commitment to every group. With additive datasets, however, existing methods may not be sufficie...
Isaac J. Sledge, James M. Keller
124
Voted
ICML
2008
IEEE
16 years 4 months ago
On-line discovery of temporal-difference networks
We present an algorithm for on-line, incremental discovery of temporal-difference (TD) networks. The key contribution is the establishment of three criteria to expand a node in TD...
Takaki Makino, Toshihisa Takagi