Sciweavers

7404 search results - page 180 / 1481
» New Tools in Education
Sort
View
SIGADA
2007
Springer
16 years 19 days ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 6 months ago
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
Johannes Oetsch, Jörg Pührer, Martin Sch...
FECS
2010
149views Education» more  FECS 2010»
15 years 4 months ago
Are American College Homepages Accessible? Does It Matter?
- With computational tools becoming more integrated into the education experience, the accessibility of college website homepages is becoming increasingly important for several rea...
Robert M. Siegfried, Joseph DiLallo, Patrick J. Br...
JCDL
2009
ACM
130views Education» more  JCDL 2009»
16 years 1 months ago
Whetting the appetite of scientists: producing summaries tailored to the citation context
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
Stephen Wan, Cécile Paris, Robert Dale
SIGCSE
2005
ACM
163views Education» more  SIGCSE 2005»
16 years 3 days ago
Using SeSFJava in teaching introductory network courses
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
Tamer Elsharnouby, A. Udaya Shankar