9049 search results - page 243 / 1810 » The New C Standard |
231
click to vote
ECCC
2007
15 years 6 months ago
2007
In the undirected Edge-Disjoint Paths problem with Congestion (EDPwC), we are given an undirected graph with V nodes, a set of terminal pairs and an integer c. The objective is to...
156
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...
149
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a technique for denoising speech using nonnegative matrix factorization (NMF) in combination with statistical speech and noise models. We compare our new technique to s...
126
click to vote
VTC
2007
IEEE
16 years 26 days ago
2007
IEEE
— In this paper we propose an architecture for a homodyne receiver for Dedicated Short Range Communications (DSRC) for Road Traffic and Transport Telematics (RTTT). The receiver ...
173
click to vote
CIE
2005
Springer
16 years 4 days ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...