4099 search results - page 108 / 820 » A Framework for Interactive Proof |
140
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
We are in the midst of an explosion of emerging human-computer interaction techniques that have redefined our understanding of both computers and interaction. We propose the notio...
141
Voted
C5
2007
IEEE
15 years 5 months ago
2007
IEEE
Interactive geometry environments support the creation and exploitation of interactive geometric sketches. However, such environments are often driven in a rigid manner, following...
162
Voted
ICML
2000
IEEE
16 years 6 months ago
2000
IEEE
Stochastic games are a generalization of MDPs to multiple agents, and can be used as a framework for investigating multiagent learning. Hu and Wellman (1998) recently proposed a m...
122
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
197
click to vote
JFPLC
2004
15 years 6 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...