2519 search results - page 323 / 504 » MASUP: An Agent-Oriented Modeling Process for Information Sy... |
136
click to vote
IADIS
2008
15 years 8 months ago
2008
This paper describes the Mentor Component, which is part of an Affective Educational Module for distance learning. The main purpose of the Affective Module is to motivate the stud...
147
click to vote
AAAI
1990
15 years 7 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
173
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
168
click to vote
IANDC
2010
15 years 5 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
168
click to vote
AAAI
1994
15 years 7 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...