1120 search results - page 26 / 224 » Making computer science minority-friendly |
IMSCCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In order to investigate the behavior of the solvation, particularly, to quantify the solvent effects on the properties of solutes on a molecular basis, several simulation approach...
121
click to vote
CAD
2000
Springer
14 years 11 months ago
2000
Springer
Triangle strips are a widely used hardware-supported data-structure to compactly represent and efficiently render polygonal meshes. In this paper we survey the efficient generatio...
109
click to vote
RTA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
TLCA
2001
Springer
15 years 4 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
SIGCSE
2009
ACM
16 years 11 days ago
2009
ACM
We describe cs1graphics, a new Python drawing package designed with pedagogy in mind. The package is simple enough that students can sit down and make use of it from the first day...