1806 search results - page 52 / 362 » Some Functions Computable with a Fused-Mac |
73
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
We deal with blind signal extraction in the framework of a convolutive mixture of independent sources. Considering so-called reference signals, we generalize former identifiabilit...
110
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
100
click to vote
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper targets at reducing the crosstalk noise closure time by filtering the set of false violations. We propose two approaches to reduce the pessimism in the crosstalk noise ...
91
Voted
EUROCAST
2007
Springer
15 years 6 months ago
2007
Springer
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
112
click to vote
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces a new evaluation function, called δ, for the Bandwidth Minimization Problem for Graphs (BMPG). Compared with the classical β evaluation function used, our ...