1788 search results - page 281 / 358 » Model Theory for Process Algebra |
122
click to vote
SOCRATES
2008
15 years 5 months ago
2008
The purpose of this paper is to build a picture of knowledge construction models in online education. The study describes the knowledge construction process of a group of vocation...
145
click to vote
JUCS
2010
14 years 10 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
154
click to vote
CLIMA
2004
15 years 5 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
252
click to vote
PODS
2009
ACM
16 years 4 months ago
2009
ACM
Querying uncertain data has emerged as an important problem in data management due to the imprecise nature of many measurement data. In this paper we study answering range queries...
104
click to vote
STOC
2003
ACM
16 years 4 months ago
2003
ACM
We propose a natural, mathematically tractable model of TCP which captures both its additive-increase, multiplicative-decrease behavior and its feedback mechanism. Neither a fluid...