1428 search results - page 80 / 286 » aims 2010 |
175
click to vote
ITS
2010
Springer
15 years 2 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...
149
click to vote
JSS
2010
15 years 2 months ago
2010
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
123
click to vote
JUCS
2010
15 years 2 months ago
2010
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
132
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
127
click to vote
MCS
2010
Springer
15 years 2 months ago
2010
Springer
We show that sampling with a biased Metropolis scheme is essentially equivalent to using the heatbath algorithm. However, the biased Metropolis method can also be applied when an ...