Sciweavers

1301 search results - page 135 / 261
» Bounded Version Vectors
Sort
View
JSAT
2008
85views more  JSAT 2008»
13 years 10 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
JMLR
2006
123views more  JMLR 2006»
13 years 10 months ago
Adaptive Prototype Learning Algorithms: Theoretical and Experimental Studies
In this paper, we propose a number of adaptive prototype learning (APL) algorithms. They employ the same algorithmic scheme to determine the number and location of prototypes, but...
Fu Chang, Chin-Chin Lin, Chi-Jen Lu
MICS
2007
88views more  MICS 2007»
13 years 10 months ago
Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach
An alternative to Lagrange inversion for solving analytic systems is our technique of dual vector fields. We implement this approach using matrix multiplication that provides a f...
Philip Feinsilver, René Schott
BIOSIG
2009
104views Biometrics» more  BIOSIG 2009»
13 years 8 months ago
A Note on the Protection Level of Biometric Data in Electronic Passports
: Following regulations of the EU Council in 2004, the member states have deployed electronic passports according to ICAO standards. Such documents contain an embedded radio freque...
Harald Baier, Tobias Straub
MA
2011
Springer
204views Communications» more  MA 2011»
13 years 5 months ago
Estimating structural VARMA models with uncorrelated but non-independent error terms
The asymptotic properties of the quasi-maximum likelihood estimator (QMLE) of vector autoregressive moving-average (VARMA) models are derived under the assumption that the errors ...
Y. Boubacar Mainassara, Christian Francq