1128 search results - page 10 / 226 » Little Engines of Proof |
118
click to vote
USS
2010
14 years 10 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
105
Voted
CORR
2002
Springer
15 years 8 days ago
2002
Springer
Preference elicitation is a central problem in AI, and has received significant attention in single-agent settings. It is also a key problem in multiagent systems, but has receive...
93
Voted
WSC
1989
15 years 1 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
102
Voted
MABS
2004
Springer
15 years 5 months ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
110
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...