2948 search results - page 378 / 590 » More Principled Design of Pervasive Computing Systems |
165
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
The need for Bayesian inference arises in military intelligence, medical diagnosis and many other practical applications. The problem is that human inferences are generally conserv...
156
click to vote
FROCOS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
167
click to vote
ICIC
2005
Springer
16 years 2 days ago
2005
Springer
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...
169
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...
165
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes an abstract and generic topological model that captures the essence of P2P architecture. Such model should in return facilitate the exploitation of the new desi...