Sciweavers

2934 search results - page 376 / 587
» Universality in Multi-Agent Systems
Sort
View
GI
2009
Springer
15 years 10 months ago
Classifying Privacy and Verifiability Requirements for Electronic Voting
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
Lucie Langer, Axel Schmidt, Melanie Volkamer, Joha...
CLEF
2004
Springer
15 years 10 months ago
UB at CLEF2004: Cross Language Information Retrieval Using Statistical Language Models
This paper presents the results of the State University of New York at Buffalo (UB) in the Mono-lingual and Multi-lingual tasks at CLEF 2004. For these tasks we used an approach ba...
Miguel E. Ruiz, Munirathnam Srikanth
143
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
Abstract Interpretation for Worst and Average Case Analysis
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
DL
1995
Springer
15 years 9 months ago
Providing Government Information on the Internet: Experiences with THOMAS
The THOMAS system is designed to make legislative information available to the general public over the Internet, and can be regarded as a prototypeof a government digitallibrary. ...
W. Bruce Croft, Robert Cook, Dean Wilder
FPCA
1995
15 years 9 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...