1914 search results - page 147 / 383 » Abstract lambda-Calculus Machines |
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Educational researchers need to exchange and compare their learnerinteraction data in order to benefit the learning science community as a whole. In order to support this...
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Virtual training systems are increasingly used for the training of complex, dynamic tasks. To give trainees the opportunity to train autonomously, intelligent agents are ...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Lexical variance in biomedical texts poses a challenge to automatic protein relation mining. We therefore propose a new approach that relies only on more general language...
EWRL
2008
13 years 10 months ago
2008
Abstract. We consider a control problem where the decision maker interacts with a standard Markov decision process with the exception that the reward functions vary arbitrarily ove...
PTS
2007
13 years 9 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...