Sciweavers

4978 search results - page 259 / 996
» Logical models of argument
Sort
View
DBSEC
2010
113views Database» more  DBSEC 2010»
15 years 6 months ago
A Logic of Privacy
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
Steve Barker, Valerio Genovese
IS
2006
15 years 5 months ago
Negations and document length in logical retrieval
Abstract. Terms which are not explicitly mentioned in the text of a document receive often a minor role in current retrieval systems. In this work we connect the management of such...
David E. Losada, Alvaro Barreiro
ENTCS
2002
91views more  ENTCS 2002»
15 years 5 months ago
Interval Duration Logic: Expressiveness and Decidability
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
Paritosh K. Pandya
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
15 years 11 months ago
Phase transition in a random NK landscape model
An analysis for the phase transition in a random NK landscape model is given. For the fixed ratio model, NK(n, k, z), Gao and Culberson [17] showed that a random instance generat...
Sung-Soon Choi, Kyomin Jung, Jeong Han Kim
CORR
2000
Springer
84views Education» more  CORR 2000»
15 years 5 months ago
Using a Diathesis Model for Semantic Parsing
This paper presents a semantic parsing approach for non domain-specific texts. Semantic parsing is one of the major bottlenecks of Natural Language Understanding (NLU) systems and...
Jordi Atserias, Irene Castellón, Montse Civ...