1302 search results - page 212 / 261 » Soundness in the Public-Key Model |
109
click to vote
TSP
2010
14 years 6 months ago
2010
Abstract--This paper deals with the reconstruction of T1-T2 correlation spectra in nuclear magnetic resonance relaxometry. The ill-posed character and the large size of this invers...
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, a recursive nonlinear filter exploiting trigonometric expansions of the past output samples is introduced. Its peculiarity is, in general, the ability to model rea...
109
click to vote
CSFW
2011
IEEE
13 years 11 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
117
click to vote
DRR
2011
13 years 11 months ago
2011
wking dtsets ville for peer reviewing of pulished doument nlysis methods or distriuting lrge ommonly used doument orpor for enhmrking re ...