2934 search results - page 186 / 587 » Universality in Multi-Agent Systems |
141
click to vote
SP
2008
IEEE
16 years 25 days 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...
178
click to vote
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...
163
click to vote
TREC
2000
15 years 7 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...
172
click to vote
ENTCS
2010
15 years 3 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....
156
click to vote
EUSFLAT
2003
15 years 7 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...