268 search results - page 42 / 54 » Generating Intensional Answers in Intelligent Question Answe... |
IFL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
Negative selection algorithms are immune-inspired classifiers that are trained on negative examples only. Classification is performed by generating detectors that match none of ...
AIED
2009
Springer
14 years 3 months ago
2009
Springer
Comprehension of science texts is challenging, particularly when the reader lacks the skills or knowledge necessary to fill in conceptual gaps in the text content. The iSTART syste...
AIED
2007
Springer
14 years 2 months ago
2007
Springer
Students are starting to use networked visual argumentation tools to discuss, debate, and argue with one another about topics presented by a teacher. However, this development give...
APN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...