4190 search results - page 306 / 838 » Implementing commitment-based interactions |
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
144
click to vote
MVA
2008
15 years 4 months ago
2008
We present a generic framework for enhanced active multi-sensing. We propose a coopetitive interaction approach, which combines the salient features of cooperation and competition ...
133
click to vote
JAR
2007
15 years 4 months ago
2007
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
128
click to vote
CGF
2000
15 years 4 months ago
2000
This paper presents models for graphite pencil, drawing paper, blenders, and kneaded eraser that produce realistic looking pencil marks, textures, and tones. Our models are based ...
132
click to vote
COLING
2002
15 years 4 months ago
2002
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...