4978 search results - page 105 / 996 » Logical models of argument |
151
click to vote
SCN
2010
Springer
15 years 4 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...
179
click to vote
ACL
2012
13 years 8 months ago
2012
This paper presents a novel sequence labeling model based on the latent-variable semiMarkov conditional random fields for jointly extracting argument roles of events from texts. ...
268
click to vote
ACMMPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
158
click to vote
PODS
1990
ACM
15 years 10 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
163
click to vote
SPLC
2007
15 years 7 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...