2623 search results - page 300 / 525 » Universal Learning Theory |
275
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
183
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Writing a dissertation is a critical aspect of the learning experience for most university students in all disciplines. It is often accompanied by anxiety and uncertainty, which su...
189
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
CALL (Computer Assisted Language Learning) systems using ASR (Automatic Speech Recognition) for second language learning have received increasing interest recently. However, it st...
208
click to vote
IFIP
1999
Springer
15 years 10 months ago
1999
Springer
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...
168
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we report on an interdisciplinary course "Computing and Art" taught at the Sabanci University, Istanbul for the first time in fall of 2004. We also present...