13383 search results - page 2314 / 2677 » Abstractions from proofs |
147
click to vote
BIOINFORMATICS
2011
14 years 8 months ago
2011
Abstract. This document is a preprint of the following publication: Bioinformatics (2011) 27(8): 1166-1167. Algorithms for sparse data require fast search and subset selection capa...
217
click to vote
BTW
2011
Springer
14 years 8 months ago
2011
Springer
Abstract: The rise of the Web 2.0 has made content publishing easier than ever. Yesterday’s passive consumers are now active users who generate and contribute new data to the web...
160
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
201
click to vote
CIDM
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...
197
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract— We study algorithms for the SUBMODULAR MULTIWAY PARTITION problem (SUB-MP). An instance of SUB-MP consists of a finite ground set V , a subset S = {s1, s2, . . . , sk}...