10935 search results - page 1992 / 2187 » Neural Programming Language |
SIGCSE
2009
ACM
15 years 8 months ago
2009
ACM
Many courses on the history of computing are designed for a general student audience, and as such, include fewer technical details than one might find in a typical CS course. Whi...
123
click to vote
CP
2009
Springer
15 years 8 months ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...
126
Voted
CP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
117
Voted
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
106
Voted
ICALP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract Randomized rumor spreading is an efficient protocol to distribute information in networks. Recently, a quasirandom version has been proposed and proven to work equally we...