2934 search results - page 186 / 587 » Universality in Multi-Agent Systems |
152
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
195
Voted
DAGSTUHL
2007
15 years 8 months ago
2007
BiCEP is a new project being started at the University of Coimbra to benchmark Complex Event Processing systems (CEP). Although BiCEP is still in the early stages, we list here som...
183
Voted
TREC
2000
15 years 8 months ago
2000
This paper describes the architecture, operation and results obtained with the Question Answering prototype developed in the Department of Language Processing and Information Syst...
186
Voted
ENTCS
2010
15 years 4 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
163
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
We introduce the basic concepts on intuitionistic fuzzy subalgebras on n-ary groupoids, i.e., on algebras containing one fundamental n-ary operation. We describe some similarities...