1562 search results - page 99 / 313 » Convenience Over Correctness |
DAS
2004
Springer
14 years 2 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...
TAPSOFT
1991
Springer
14 years 22 days 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 ...
AAAI
2008
13 years 11 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...
AMW
2010
13 years 10 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...
CGF
2006
13 years 9 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...