233 search results - page 33 / 47 » Interactive Proofs For Quantum Computations |
CONCUR
2010
Springer
15 years 23 days 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...
CHI
2008
ACM
16 years 1 days 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...
88
Voted
EICS
2010
ACM
15 years 4 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 ...
108
Voted
WOLLIC
2009
Springer
15 years 6 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...
92
Voted
KI
2001
Springer
15 years 4 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...