18090 search results - page 594 / 3618 » Computing by Only Observing |
196
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
221
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
In today’s adaptive hypermedia systems, adaptivity is provided based on accumulative data gained from observing the user. User modelling, the capturing of information about the ...
183
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
184
click to vote
ALT
1998
Springer
15 years 11 months ago
1998
Springer
In their pioneering work, Mukouchi and Arikawa modeled a learning situation in which the learner is expected to refute texts which are not representative of L, the class of langua...
178
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...