4099 search results - page 69 / 820 » A Framework for Interactive Proof |
KCAP
2009
ACM
15 years 4 months ago
2009
ACM
As computational learning agents move into domains that incur real costs (e.g., autonomous driving or financial investment), it will be necessary to learn good policies without n...
AUIC
2006
IEEE
15 years 3 months ago
2006
IEEE
As the power of end user web browsers increases, the delivery of sophisticated visualizations of information via the web becomes possible. However no technology exists that offers...
C5
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a framework that we are developing to better solve several critical issues that arise when interactive systems are extended to large displays. These issues include slow...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...