Search Sciweavers | Sciweavers

4217 search results - page 127 / 844

» Computational indistinguishability logic

click to vote

CCS
2011
ACM

210views Security Privacy» more CCS 2011»

Cirripede: circumvention infrastructure using router redirection with plausible deniability

13 years 10 months ago

Download hatswitch.crhc.uiuc.edu

Many users face surveillance of their Internet communications and a signiﬁcant fraction suﬀer from outright blocking of certain destinations. Anonymous communication systems a...

Amir Houmansadr, Giang T. K. Nguyen, Matthew Caesa...

claim paper

Read More »

116

click to vote

AAAI
2008

155views Intelligent Agents» more AAAI 2008»

Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques

14 years 11 months ago

Download www.aaai.org

In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...

Paul Fodor

claim paper

Read More »

click to vote

LICS
2003
IEEE

98views Automated Reasoning» more LICS 2003»

Model-checking Trace Event Structures

15 years 3 months ago

Download www.cs.uiuc.edu

Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a ﬁnite-state concurrent system, one can associate with it a canonical regular event st...

P. Madhusudan

claim paper

Read More »

168

click to vote

Book

604views

Prolog and Natural-Language Analysis

16 years 8 months ago

Download content.yudu.com

The book is an introduction to elementary computational linguistics from the point of view of logic programming.

Fernando C. N. Pereira and Stuart M. Shieber