1120 search results - page 43 / 224 » Making computer science minority-friendly |
104
click to vote
Lecture Notes
"These lecture notes treat various versions of the so-called “fundamental theorem
of asset pricing”. Many students are familiar with statements about models for
financia...
149
click to vote
Publication
A heuristic algorithm is proposed for dynamic calculation of the median and other quantiles. The estimates are produced dynamically as the observations are generated. The observati...
106
click to vote
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
101
click to vote
SIGADA
1997
Springer
15 years 4 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
To provide a natural interface to the computer, we present an integrated speech, gesture, and handwriting recognition system. By integrating these technologies, we can easily acco...