1173 search results - page 172 / 235 » Program Derivation Using Analogy |
157
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
198
click to vote
VCIP
2000
15 years 3 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
227
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
114
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
173
Voted
IGARSS
2010
14 years 9 months ago
2010
Coincident profile information from CALIPSO's lidar and CloudSat's radar offers a unique opportunity to map the vertical structure of clouds over the globe with accuraci...