345 search results - page 23 / 69 » Computer-Assisted Simulation Proofs |
144
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
Zero-knowledge set is a primitive introduced by Micali, Rabin, and Kilian (FOCS 2003) which enables a prover to commit a set to a verifier, without revealing even the size of the...
159
click to vote
VSGAMES
2010
15 years 4 months ago
2010
— This paper describes a variety of methods that can be used to create realistic, random 3D environments for serious games requiring real-time performance. These include the gene...
197
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
179
click to vote
EUROCRYPT
2007
Springer
16 years 20 days ago
2007
Springer
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...
152
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper deals with a discret-time control approach, proposed for the control of a five-link, four-actuator planar biped walker. The approach is based on the choice ...