1536 search results - page 64 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
103
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
ICALT
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a task selection model for personalised educational instruction. The proposed model is based on the student expertise level and it takes into account performan...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...
HCI
2007
14 years 11 months ago
2007
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...