971 search results - page 98 / 195 » Approximate Satisfiability and Equivalence |
107
click to vote
ISCAS
1999
IEEE
15 years 5 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...
103
Voted
FSTTCS
1993
Springer
15 years 4 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...
99
Voted
COSIT
2009
Springer
15 years 4 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...
106
Voted
APNOMS
2006
Springer
15 years 4 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...
98
Voted
EUROCRYPT
2000
Springer
15 years 4 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...