4099 search results - page 167 / 820 » A Framework for Interactive Proof |
159
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
140
click to vote
HPDC
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a brief overview of a framework for the interactive steering of distributed applications that addresses three key issues: (1) Definition of Interaction Object...
141
click to vote
DSVIS
2008
Springer
15 years 7 months ago
2008
Springer
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
137
click to vote
AIED
2009
Springer
16 years 6 hour ago
2009
Springer
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
115
click to vote
INTERACT
2003
15 years 6 months ago
2003
: This paper presented a brief outline of hardware and software problems occurred at the beginning of HCI system developments (within the framework of last 25 years), research acti...