1562 search results - page 99 / 313 » Convenience Over Correctness |
115
click to vote
DAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Braille is the most effective means of written communication between visually-impaired and sighted people. This paper describes a new system that recognizes Braille chara...
108
click to vote
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
109
click to vote
AAAI
2008
15 years 5 months ago
2008
We introduce novel algorithms for generating random solutions from a uniform distribution over the solutions of a boolean satisfiability problem. Our algorithms operate in two pha...
120
Voted
AMW
2010
15 years 4 months ago
2010
We address the problem of answering conjunctive queries over knowledge bases, specified by sets of first-order sentences called tuple-generating dependencies (TGDs). This problem i...
126
click to vote
CGF
2006
15 years 3 months ago
2006
We identify and analyze several performance problems in a state-of-the-art physically-based soft shadow volume algorithm, and present an improved method that alleviates these prob...