4978 search results - page 189 / 996 » Logical models of argument |
117
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We explore the use of information models as a guide for the development of single objective optimization algorithms, giving particular attention to the use of Bayesian models in a...
150
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledg...
150
click to vote
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
133
click to vote
CHI
2001
ACM
16 years 4 months ago
2001
ACM
Unistrokes are a viable form of text input in pen-based user interfaces. However, they are a very heterogeneous group of gestures the only common feature being that all are drawn ...
118
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...