5275 search results - page 455 / 1055 » Computing by observing |
195
click to vote
ECAI
2004
Springer
16 years 14 days ago
2004
Springer
This paper describes the Mediating Agent, an animated pedagogical agent inserted in a computational system for distance learning, which has the goal of motivating the student to le...
150
click to vote
ESAW
2004
Springer
16 years 14 days ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
196
click to vote
EUROPAR
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
179
click to vote
FOSSACS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
183
click to vote
GD
2004
Springer
16 years 13 days ago
2004
Springer
Pinchasi and Radoiˇci´c [11] used the following observation to bound the number of edges of a topological graph without a self-crossing cycle of length 4: if we make a list of t...