5084 search results - page 155 / 1017 » Proving Possibility Properties |
199
Voted
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
A “scoring rule” is an assignment of a value to every tuple (of varying sizes). This paper is concerned with the issue of how to modify a scoring rule to apply to the case whe...
167
Voted
ICISS
2009
Springer
16 years 1 months ago
2009
Springer
We present a new remote, coercion-free electronic voting protocol which satisfies a number of properties previously considered contradictory. We introduce (and justify) the idea ...
166
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—We investigate the distance vectors contained in individual and in pairs of Costas arrays, and prove some rigorous results in the case of the algebraically constructed ones. Ove...
177
Voted
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
137
Voted
LPAR
2005
Springer
16 years 14 days ago
2005
Springer
In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system ...