Sciweavers

1374 search results - page 151 / 275
» Computer graphics in undergraduate computational science edu...
Sort
View
GG
2008
Springer
13 years 10 months ago
Resolution-Like Theorem Proving for High-Level Conditions
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
Karl-Heinz Pennemann
SIGCSE
1993
ACM
102views Education» more  SIGCSE 1993»
14 years 1 months ago
The internet programming contest: a report and philosophy
Programming contests can provide a high-profile method for attracting interest in computer science. We describe our philosophy as it pertains to the purpose and merits of program...
Vivek Khera, Owen L. Astrachan, David Kotz
ITICSE
2004
ACM
14 years 2 months ago
Enhancing classroom lectures with digital sliding blackboards
Traditional blackboard-based lectures provide context on the sliding blackboards. Modern lectures incorporating video projectors typically do not provide this context. We describe...
Guido Rößling, Christoph Trompler, Max ...
ITICSE
2004
ACM
14 years 2 months ago
Use of large databases for group projects at the nexus of teaching and research
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...
Richard C. Thomas, Rebecca Mancy
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 9 months ago
A Virtual Logo Keyboard for People with Motor Disabilities
In our society, people with motor impairments are oftentimes socially excluded from their environment. This is unfortunate because every human being should have the possibility to...
Stéphane Norte, Fernando G. Lobo