Sciweavers

9414 search results - page 1470 / 1883
» Adaptive Query Processing
Sort
View
ICDE
2010
IEEE
292views Database» more  ICDE 2010»
16 years 7 months ago
Usher: Improving Data Quality With Dynamic Forms
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...
Kuang Chen, Harr Chen, Neil Conway, Joseph M. Hell...
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
16 years 4 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
215
Voted
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
Practical quad mesh simplification
n this paper we present an innovative approach to incremental quad mesh simplification, i.e. the task of producing a low complexity quad mesh starting from a high complexity one. T...
Marco Tarini, Nico Pietroni, Paolo Cignoni, Daniel...
IDTRUST
2010
ACM
16 years 2 months ago
Computational techniques for increasing PKI policy comprehension by human analysts
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
Gabriel A. Weaver, Scott A. Rea, Sean W. Smith
SI3D
2010
ACM
16 years 2 months ago
Spatio-temporal upsampling on the GPU
Pixel processing is becoming increasingly expensive for real-time applications due to the complexity of today’s shaders and highresolution framebuffers. However, most shading re...
Robert Herzog, Elmar Eisemann, Karol Myszkowski, H...
« Prev « First page 1470 / 1883 Last » Next »