1174 search results - page 45 / 235 » Derivation of Characteristic Formulae |
119
click to vote
SOQUA
2004
15 years 5 months ago
2004
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
118
click to vote
AAAI
1998
15 years 5 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
132
click to vote
ASIACRYPT
2003
Springer
15 years 9 months ago
2003
Springer
The Weil and Tate pairings have been used recently to build new schemes in cryptography. It is known that the Weil pairing takes longer than twice the running time of the Tate pair...
122
click to vote
CORR
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in...
131
click to vote
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
: An explicit formula is presented for reconstructing a This article derives an explicit formula for the integer values finite-support object defined on a lattice of points and tak...