1274 search results - page 5 / 255 » New Proofs for |
156
click to vote
CG
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
132
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
CORR
2010
Springer
15 years 6 months ago
2010
Springer
JCT
2008
15 years 6 months ago
2008
