2694 search results - page 255 / 539 » Frege's New Science |
176
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
172
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
As databases become more pervasive through the biological sciences, various data quality issues regarding data legacy, data uniformity and data duplication arise. Due to the natur...
158
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We give new recursive constructions of complete caps in PG(n, 2). We approach the problem of constructing caps with low dependency via the doubling construction and comparison to ...
174
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
We introduce FuncICA, a new independent component analysis method for pattern discovery in inherently functional data, such as time series data. FuncICA can be considered an analo...
171
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
We propose Link Propagation as a new semi-supervised learning method for link prediction problems, where the task is to predict unknown parts of the network structure by using aux...