18429 search results - page 244 / 3686 » Typing dynamic typing |
147
click to vote
SIGCSE
2006
ACM
16 years 17 days ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
203
click to vote
HASKELL
2005
ACM
16 years 5 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
169
click to vote
GPCE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
193
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
166
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...