6355 search results - page 1013 / 1271 » From Logic to Games |
187
click to vote
CEFP
2005
Springer
16 years 6 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
158
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
169
click to vote
ISPA
2005
Springer
16 years 5 days ago
2005
Springer
Grid technologies are becoming more and more mature in recent years. In contrast to this trend, the resource measurement landscape in Grids looks rather dismal. As part of ChinaGri...
172
click to vote
WILF
2005
Springer
16 years 4 days ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
139
click to vote
MMSEC
2004
ACM
16 years 3 days ago
2004
ACM
This paper outlines a strategy to discriminate different ISO/ MPEG 1 Audio Layer-3 (MP3) encoding programs by statistical particularities of the compressed audio streams. We use ...