Sciweavers

4770 search results - page 136 / 954
» Flexible Type Analysis
Sort
View
ETS
2000
IEEE
144views Hardware» more  ETS 2000»
15 years 4 months ago
An Evaluation of Computer Mediated Communication to Support Group Discussion in Continuing Education
An evaluation of a taught module within a Post-Graduate Master of Education course is reported. Participants on the course were mainly teachers learning for continuing professiona...
Rachel M. Pilkington, Catherine L. Bennett, Sarah ...
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 10 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
BCSHCI
2007
15 years 5 months ago
ExpECT: an expanded error categorisation method for text input
This paper describes an empirical study on typing errors made by children during a text copy exercise. The literature on text input errors is first examined, focussing on studies ...
Akiyo Kano, Janet C. Read, Alan J. Dix, I. Scott M...
ICFP
2006
ACM
16 years 4 months ago
Recursive modules for programming
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
Keiko Nakata, Jacques Garrigue
128
Voted
WWW
2008
ACM
16 years 5 months ago
Personalized web exploration with task models
Personalized Web search has emerged as one of the hottest topics for both the Web industry and academic researchers. However, the majority of studies on personalized search focuse...
Jae-wook Ahn, Peter Brusilovsky, Daqing He, Jonath...