4099 search results - page 501 / 820 » A Framework for Interactive Proof |
217
click to vote
ITS
2010
Springer
15 years 5 months ago
2010
Springer
Being able to argue with a student to convince her or him about the rationale of tutoring hints is an important component of pedagogy. In this paper we present an argumentation fra...
187
click to vote
TIP
2010
15 years 5 months ago
2010
Abstract—In this paper, we introduce a reconstruction framework that explicitly accounts for image geometry when defining the spatial interaction between pixels in the filterin...
159
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In this paper we introduce a probabilistic approach of building extraction in remotely sensed images. To cope with data heterogeneity we construct a flexible hierarchical...
222
click to vote
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Modularization is almost the only feasible way of implementing large-scale applications. For user interfaces, interactions involving more than one module generate dependencies bet...
186
click to vote
ESAW
2009
Springer
15 years 4 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...