7519 search results - page 120 / 1504 » Optimizing Generic Functions |
130
click to vote
CCGRID
2007
IEEE
15 years 11 months ago
2007
IEEE
Image analysis is an important component of neuroscience research. The ICT infrastructure and technical knowledge needed to perform (large scale) neuroimaging studies, however, is...
137
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
170
Voted
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
146
click to vote
DEXAW
1999
IEEE
15 years 9 months ago
1999
IEEE
This work addresses a problem of optimal query processing in heterogeneous and distributed multidatabase systems. The objective is to nd a method for opimization of global query p...
152
click to vote
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
In this paper we study the possibility of proving the existence of one-way functions based on average case hardness. It is well-known that if there exists a polynomial-time sample...