Sciweavers

620 search results - page 44 / 124
» Computer tutoring for programming education
Sort
View
W4A
2005
ACM
14 years 1 months ago
Designing learning systems to provide accessible services
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userā€...
Pythagoras Karampiperis, Demetrios G. Sampson
ITICSE
2005
ACM
14 years 1 months ago
Novice Java programmers' conceptions of "object" and "class", and variation theory
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a ļ¬...
Anna Eckerdal, Michael Thuné
CHI
2002
ACM
14 years 8 months ago
Tangible programming elements for young children
Tangible programming elements offer the dynamic and programmable properties of a computer without the complexity introduced by the keyboard, mouse and screen. This paper explores ...
Peta Wyeth, Helen C. Purchase
CORR
2010
Springer
101views Education» more  CORR 2010»
13 years 8 months ago
Computing the Least Fixed Point of Positive Polynomial Systems
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
CORR
2004
Springer
123views Education» more  CORR 2004»
13 years 8 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui