2226 search results - page 432 / 446 » Computable Analysis via Representations |
225
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
111
Voted
RECOMB
2002
Springer
16 years 2 months ago
2002
Springer
We present algorithms for time-series gene expression analysis that permit the principled estimation of unobserved timepoints, clustering, and dataset alignment. Each expression p...
107
click to vote
SIBGRAPI
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The ability to filter improper content from multimedia sources based on visual content has important applications, since text-based filters are clearly insufficient a...
102
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern applications such as Internet traffic, telecommunication records, and large-scale social networks generate massive amounts of data with multiple aspects and high dimensiona...
105
Voted
ICPP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Federated systems have recently attracted much attention because they allow loosely coupled organizations to share resources for common benefits. However, discovering r...