ACMSE
2008
ACM
13 years 9 months ago
2008
ACM
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...
FLAIRS
2007
13 years 9 months ago
2007
Macalester College offers a single undergraduate elective in artificial intelligence. This course is cross-listed between Computer Science and Cognitive and Neuroscience Studies,...
POPL
2010
ACM
13 years 10 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1
SIGCSE
1995
ACM
13 years 11 months ago
1995
ACM
One important way to teach Computer Science is by getting students involved in projects that interest them. In order to demonstrate the value of music related computer projects, t...
FPLE
1995
13 years 11 months ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
EDBT
2000
ACM
13 years 11 months ago
2000
ACM
EDBT
2000
ACM
13 years 11 months ago
2000
ACM
EDBT
2000
ACM
13 years 11 months ago
2000
ACM
Warehouse view self-maintenance refers to maintaining materialized views at a data warehouse without accessing source data. Self-maintenance has been studied for nontemporal views...