1573 search results - page 165 / 315 » Picture Programming Project |
127
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes how a graphical user interface (GUI) programming course offered by the Dept. of Computer Science (CS) was paired with a general teaching methods course offere...
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Software engineering researchers solve problems of several different kinds. To do so, they produce several different kinds of results, and they should develop appropriate evidence...
141
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
145
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
103
click to vote
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...