1308 search results - page 195 / 262 » Let's Have a Conversation |
SIGCSE
2004
ACM
15 years 4 months ago
2004
ACM
Many algorithm visualizations have been created, but little is known about which features are most important to their success. We believe that pedagogically useful visualizations ...
SIGUCCS
2003
ACM
15 years 4 months ago
2003
ACM
“Client Services”, “User Services”, “Customer Service”: whatever we call it at our various colleges and universities, it’s not just about fixing hardware and softwar...
127
click to vote
TYPES
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
SIROCCO
2004
15 years 16 days ago
2004
The problem of routing traffic through a congested network is studied. The framework is that introduced by Koutsoupias and Papadimitriou where the network is constituted by m paral...
BMCBI
2006
14 years 11 months ago
2006
Background: With the completion of the genome sequences of human, mouse, and other species and the advent of high throughput functional genomic research technologies such as biomi...