1746 search results - page 35 / 350 » A linear implementation of PACMAN |
EUROCOLT
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Recent works have shown the advantage of using Active Learning methods, such as the Query by Committee (QBC) algorithm, to various learning problems. This class of Algori...
CAV
2009
Springer
14 years 1 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
PARA
1995
Springer
14 years 17 days ago
1995
Springer
This paper describes a proposal for a set of Parallel Basic Linear Algebra Subprograms PBLAS . The PBLAS are targeted at distributed vector-vector, matrix-vector and matrixmatrix...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
ISCAS
2006
IEEE
14 years 3 months ago
2006
IEEE
A Gm- C architecture for a quadrature, sinusoidal os- ± Vref cillator with instantaneous, phase-preserving, linear frequency control Peak detector and independent, static amplitud...