1156 search results - page 164 / 232 » The PENG System: Practice and Experience |
188
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
173
click to vote
USS
2010
15 years 4 months ago
2010
We examine the problem of acoustic emanations of printers. We present a novel attack that recovers what a dotmatrix printer processing English text is printing based on a record o...
166
click to vote
CAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
186
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Over the past few years, a number of distributed algorithms have been developed for integrating the measurements acquired by a wireless sensor network. Among them, average consensu...
169
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...