3566 search results - page 7 / 714 » Signed Logic Programs |
107
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
112
Voted
ICLP
1991
Springer
15 years 4 months ago
1991
Springer
Interpretation of Logic Programs 1
101
Voted
FGR
2004
IEEE
15 years 4 months ago
2004
IEEE
Inspired by the Defense Advanced Research Projects Agency's (DARPA) recent successes in speech recognition, we introduce a new task for sign language recognition research: a ...
93
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
126
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...