5924 search results - page 101 / 1185 » Normal Process Representatives |
133
click to vote
SAT
2004
Springer
15 years 7 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
102
click to vote
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents an approach for analysis of system state differences observable through the scan chain for the debug of functional failures. A novel methodology for Latch Dive...
122
click to vote
EDUTAINMENT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We describe methods for high-performance and high-quality rendering of point models, including advanced shading, anti-aliasing, and transparency. we keep the rendering qu...
107
click to vote
IIR
2010
15 years 28 days ago
2010
Results diversification is an approach used in literature to cover the possible interpretations of the results produced by query evaluation. For diversifying search results we pr...
113
click to vote
ADBIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents an adaptation of the ARIES recovery algorithm that solves the problem of recovery in Shared Disk (SD) database systems, whilst preserving all the desi...