1451 search results - page 65 / 291 » Order independence and rationalizability |
153
click to vote
IMA
1999
Springer
15 years 10 months ago
1999
Springer
Recent years have seen numerous examples when designs play an important role in the study of such topics in cryptography as secrecy and authentication codes, secret sharing scheme...
137
click to vote
VR
1993
IEEE
15 years 10 months ago
1993
IEEE
The MR Toolkit Peer Package is an extension to the MR Toolkit that allows multiple independent MR Toolkit applications to communicate with one another across the Internet. The mas...
145
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, a new heuristic-based approach is introduced to extract minimally unsatisfiable subformulas (in short, MUSes) of SAT instances. It is shown that it often outperforms...
179
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...
136
click to vote
IADIS
2008
15 years 7 months ago
2008
The aim of this paper is to present an innovative approach for generating multiple choice questions in automatic way. Although other approaches have been already reported in the l...