18306 search results - page 3236 / 3662 » Algorithmics in Exponential Time |
157
click to vote
AAAI
1996
15 years 5 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
117
Voted
IJCAI
1993
15 years 5 months ago
1993
literal: Let p be a proposition. Then p and -p are literals. clause: A clause is a disjunction of literals. Horn Clause: A Horn Clause is a clause in which there is at most one po...
118
click to vote
MVA
1994
15 years 5 months ago
1994
The OPC is one of the most important component in the electrophotography process. So far its surface defects which degrade print quality were inspected by human-eye. We have devel...
186
click to vote
VMV
2007
15 years 5 months ago
2007
In this paper we present an efficient data structure and algorithms for GPU ray tracing of secondary effects like reflections, refractions and shadows. Our method extends previo...
122
Voted
WCE
2007
15 years 5 months ago
2007
— We propose a novel approach to improve further the quality of recovered images from standard super-resolution reconstruction, using Lewitt’s Kaiser-Bessel window functions (b...