7167 search results - page 1179 / 1434 » Answer Set Programming |
95
Voted
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
128
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
109
Voted
HIPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...
130
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
While data compression and Kolmogorov complexity are both about effective coding of words, the two settings differ in the following respect. A compression algorithm or compressor...