3108 search results - page 202 / 622 » The Elements of Computer Credibility |
136
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we develop an efficient characteristic finite element method (FEM) for solving the magnetic induction equation in magnetohydrodynamics (MHD). We carry out numerical ...
180
click to vote
ADS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
140
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We prove that the homomorphic quasiorder of finite k-labeled forests has undecidable elementary theory for k 3, in contrast to the known decidability result for k = 2. W...
153
click to vote
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
148
click to vote
DCAI
2008
15 years 8 months ago
2008
Case-Based Reasoning is a methodology that uses information that has been considered as valid in previous situations to solve new problems. That use of the information allows CBR s...