339 search results - page 35 / 68 » On the Need for a Neural Abstract Machine |
TLDI
2003
ACM
14 years 1 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
ECTEL
2008
Springer
13 years 9 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...
ML
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. We consider batch reinforcement learning problems in continuous space, expected total discounted-reward Markovian Decision Problems. As opposed to previous theoretical wo...
IJEIS
2010
13 years 5 months ago
2010
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessa...