5600 search results - page 405 / 1120 » Synthesizing robust systems |
248
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We propose a new transform speech codec that jointly encodes a wideband waveform and its corresponding wideband and narrowband speech recognition features. For distributed speech ...
220
Voted
MOBISYS
2011
ACM
14 years 10 months ago
2011
ACM
Forming secure associations between wireless devices that do not share a prior trust relationship is an important problem. This paper presents ProxiMate, a system that allows wire...
214
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
231
Voted
DGO
2011
14 years 7 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
245
Voted
LPAR
2012
Springer
14 years 3 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...