971 search results - page 100 / 195 » Approximate Satisfiability and Equivalence |
94
Voted
IJCAI
1989
15 years 1 months ago
1989
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully ...
108
click to vote
DAM
2008
15 years 25 days ago
2008
: We consider a problem of searching an element in a partially ordered set (poset). The goal is to find a search strategy which minimizes the number of comparisons. Ben-Asher, Farc...
116
Voted
ENTCS
2006
15 years 23 days ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
111
Voted
ENTCS
2006
15 years 23 days ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
102
click to vote
IJISEC
2008
15 years 22 days ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...