3804 search results - page 688 / 761 » interactions 2008 |
181
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
187
click to vote
TEDU
2008
15 years 4 months ago
2008
Recently, many researchers have worked on tabletop systems. One issue with tabletop interfaces is how to control the table without using conventional desktop input devices such as ...
153
click to vote
MSCS
2010
15 years 4 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
162
click to vote
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
2009 was the sixth year for the ImageCLEF medical retrieval task. Participation was strong again with 38 registered research groups. 17 groups submitted runs and thus participated...
209
click to vote
JMLR
2010
15 years 20 days ago
2010
We introduce novel results for approximate inference on planar graphical models using the loop calculus framework. The loop calculus (Chertkov and Chernyak, 2006b) allows to expre...