Sciweavers

1583 search results - page 153 / 317
» Standardization and Competitive Advantage
Sort
View
JSAT
2006
108views more  JSAT 2006»
15 years 4 months ago
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
Niklas Eén, Niklas Sörensson
EOR
2007
86views more  EOR 2007»
15 years 4 months ago
Multiple dependent state sampling plans for lot acceptance based on measurement data
This paper proposes a multiple dependent (or deferred) state sampling plan by variables for the inspection of normally distributed quality characteristics. The decision upon the a...
S. Balamurali, Chi-Hyuck Jun
SIAMJO
2008
79views more  SIAMJO 2008»
15 years 4 months ago
A Class of Inexact Variable Metric Proximal Point Algorithms
For the problem of solving maximal monotone inclusions, we present a rather general class of algorithms, which contains hybrid inexact proximal point methods as a special case and ...
Lisandro A. Parente, Pablo A. Lotito, Mikhail V. S...
IJCV
2007
104views more  IJCV 2007»
15 years 4 months ago
Fixation as a Mechanism for Stabilization of Short Image Sequences
A novel method is introduced for the stabilization of short image sequences. Stabilization is achieved by means of fixation of the central image region using a variable window siz...
Karl Pauwels, Markus Lappe, Marc M. Van Hulle
TIFS
2008
102views more  TIFS 2008»
15 years 4 months ago
Use of Identification Trial Statistics for the Combination of Biometric Matchers
Combination functions typically used in biometric identification systems consider as input parameters only those matching scores which are related to a single person in order to de...
Sergey Tulyakov, Venu Govindaraju