3359 search results - page 146 / 672 » A Simplified Idea Algorithm |
129
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
In a new model for answer retrieval, document collections are distilled offline into large repositories of facts. Each fact constitutes a potential direct answer to questions seek...
277
Voted
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
131
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
163
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose a new algorithm to remove shadow from a single color image. We first project log-log chromaticity coordinates onto an angle of illumination-invariant dire...
145
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Network visualisations use clustering approaches to simplify the presentation of complex graph structures. We present a novel application of clustering algorithms, which controls ...