4609 search results - page 155 / 922 » Automatic Generation of Sigma-Protocols |
169
click to vote
SG
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
177
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
125
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Faded examples have been investigated in pedagogical psychology. The experiments suggest that a learner can benefit from faded examples. For these experiments a few exam...
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In the present paper a system for generation of topological maps is going to be presented. This system is considered as one of the deliberative skills of the mobile robots architec...
136
click to vote
EXACT
2008
15 years 8 months ago
2008
There has been little work in explaining recommendations generated by Markov Decision Processes (MDPs). We analyze the difculty of explaining policies computed automatically and id...