— We discuss a learning model that enables the creation of optimal learning strategies that suit learners’ needs. A customized learning content is delivered to learners as mana...
INTOI is a rear-projection setup which combines accurate pen tracking with hand gesture recognition. The hardware consists of an Anoto pattern printed on a special rear-projection...
Peter Brandl, Michael Haller, Michael Hurnaus, Ver...
This paper describes changing needs among the communities that exploit language resources and recent LDC activities and publications that support those needs by providing greater ...
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...