7529 search results - page 396 / 1506 » The Modula-3 Type System |
140
click to vote
AIED
2005
Springer
16 years 11 days ago
2005
Springer
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
155
click to vote
ISSAC
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
165
click to vote
TSD
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we present a new Question Answering (QA) system based on redundancy and a new Passage Retrieval (PR) method oriented to QA. We suppose that in a large enough document...
173
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
164
click to vote
MLMI
2004
Springer
16 years 5 days ago
2004
Springer
A polyglot text-to-speech synthesis system which is able to read aloud mixed-lingual text has first of all to derive the correct pronunciation. This is achieved with an accurate m...