4854 search results - page 754 / 971 » It's the Programming, Stupid |
171
click to vote
AGTIVE
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
149
click to vote
APPT
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the problem of constructing the maximal number of node disjoint paths between two distinct nodes in Swapped/OTIS networks. A general construction of node disjoint pa...
206
click to vote
BIRTHDAY
2007
Springer
16 years 22 days ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
187
click to vote
COCOA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
143
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
As SAT becomes more popular due to its ability to handle large real-world problems, progress in efficiency appears to have slowed down over the past few years. On the other hand, w...