3238 search results - page 264 / 648 » On the Computational Interpretation of Negation |
166
click to vote
ECCV
1998
Springer
16 years 8 months ago
1998
Springer
This paper presents a negative result: current machine colour constancy algorithms are not good enough for colour-based object recognition. This result has surprised us since we ha...
186
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
271
Voted
CP
2009
Springer
16 years 7 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
140
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This paper examines how different forms of linguistic similarity in a text-chat environment relate to the establishment of interpersonal trust. Sixty-two pairs played an iterative...
152
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Electricity production emits carbon dioxide and other gases into the atmosphere, adversely influences global climate change, depletes limited natural resources, and negatively imp...