8141 search results - page 294 / 1629 » Higher Order Generalization |
186
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
In order to facilitate efficient creation of instructional content for high proficiency language learning systems, we investigate the use of utterance templates through an intuitiv...
180
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since it is not possible to construct in real...
138
click to vote
CTCS
1989
Springer
15 years 10 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
162
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
182
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...