677 search results - page 23 / 136 » Dependent Types from Counterexamples |
78
Voted
PAMI
2007
14 years 9 months ago
2007
—We consider the problem of matching images to tell whether they come from the same scene viewed under different lighting conditions. We show that the surface characteristics det...
ICASSP
2010
IEEE
14 years 7 months ago
2010
IEEE
Noise is inevitably introduced during model based parametrization of acoustic fields, acquired using microphone arrays. This is due to the finite number of microphones used, the f...
104
Voted
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
Dwell time as a user behavior has been found in previous studies to be an unreliable predictor of document usefulness, with contextual factors such as the user’s task needing to...
APBC
2004
14 years 11 months ago
2004
Mutation in HIV-1 is extremely rapid, a consequence of a low-fidelity viral reverse transcription process. The envelope gene has been shown to accumulate substitutions at a rate o...
SBBD
2004
14 years 11 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...