971 search results - page 98 / 195 » Approximate Satisfiability and Equivalence |
171
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently a method in FIR filter design using cosine modulation was proposed. Given a prototype M-th band lowpass filter with cutoff frequency at M , one can obtain a new filter wi...
170
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
151
click to vote
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
166
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose the localized adaptive QoS routing scheme using POMDP(partially observable Markov Decision Processes) and Exploration Bonus. In order to deal with POMDP p...
158
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
We exhibit an attack against a signature scheme recently proposed by Gennaro, Halevi and Rabin [9]. The scheme's security is based on two assumptions namely the strong RSA ass...