Sciweavers

6618 search results - page 286 / 1324
» Natural Logic for Natural Language
Sort
View
KR
1991
Springer
15 years 10 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
CODASPY
2011
14 years 10 months ago
Relationship-based access control: protection model and policy language
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...
Philip W. L. Fong
ICML
2007
IEEE
16 years 7 months ago
Fast and effective kernels for relational learning from texts
In this paper, we define a family of syntactic kernels for automatic relational learning from pairs of natural language sentences. We provide an efficient computation of such mode...
Alessandro Moschitti, Fabio Massimo Zanzotto
IUI
2009
ACM
16 years 1 months ago
A scientific workflow construction command line
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
Paul T. Groth, Yolanda Gil
107
Voted
FM
2009
Springer
94views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Methods for Privacy
Michael Carl Tschantz, Jeannette M. Wing