233 search results - page 33 / 47 » Interactive Proofs For Quantum Computations |
127
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
124
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
In this paper, we present a new technology to perform multi Tangible User Interface (TUI) tracking on standard LCdisplays. A lot of existing technologies for tangible user interfa...
128
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...
152
Voted
WOLLIC
2009
Springer
15 years 10 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...
128
Voted
KI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...