256 search results - page 22 / 52 » Supporting Incremental Formalization in Collaborative Learni... |
98
Voted
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
105
Voted
ECTEL
2009
Springer
15 years 3 months ago
2009
Springer
One claim of Technology-Enhanced Learning (TEL) is to support and exploit benefits from distance learning and remote collaboration. On the other hand, several approaches to learnin...
103
Voted
CVPR
2010
IEEE
15 years 26 days ago
2010
IEEE
Object detection remains an important but challenging task in computer vision. We present a method that combines high accuracy with high efficiency. We adopt simplified forms of...
118
click to vote
AIED
2007
Springer
15 years 6 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
85
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...