12774 search results - page 166 / 2555 » A Framework for Proof Systems |
141
click to vote
SP
2008
IEEE
16 years 27 days ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
137
click to vote
FLAIRS
2004
15 years 8 months ago
2004
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
164
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This note presents a stabilizing decentralized model predictive control (MPC) algorithm for nonlinear discrete time systems. No information is assumed to be exchanged between loca...
178
click to vote
APLAS
2005
ACM
16 years 2 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
179
click to vote
BIRTHDAY
2007
Springer
16 years 21 days ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...