2586 search results - page 120 / 518 » Automatic Abstraction for Congruences |
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Can automatically generated questions scaffold reading comprehension? We automated three kinds of multiple-choice questions in children’s assisted reading:
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present the fusion of simple retrieval strategies with thesaural resources to perform document and query translation by text categorisation for cross
GECCO
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Proposed is an automatic system for creating pattern generators and recognizers that may provide new and human-independent insight into the pattern recognition problem. T...
SRDS
2003
IEEE
15 years 3 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...