324 search results - page 13 / 65 » Towards a type theory of contexts |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
MICAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
JOCN
2010
2010
Medial Temporal Lobe Activity during Source Retrieval Reflects Information Type, not Memory Strength
13 years 6 months ago
■ The medial temporal lobes (MTLs) are critical for episodic memory but the functions of MTL subregions are controversial. According to memory strength theory, MTL subregions co...
ETS
2000
IEEE
13 years 7 months ago
2000
IEEE
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...