345 search results - page 23 / 69 » Computer-Assisted Simulation Proofs |
87
Voted
CTRSA
2009
Springer
15 years 9 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...
110
click to vote
VSGAMES
2010
15 years 23 days 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...
133
click to vote
WOLLIC
2009
Springer
15 years 9 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...
133
click to vote
EUROCRYPT
2007
Springer
15 years 8 months 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...
98
Voted
IROS
2009
IEEE
15 years 9 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 ...