Sciweavers

3330 search results - page 209 / 666
» software 2010
Sort
View
CCE
2010
13 years 8 months ago
Optimizing the design of complex energy conversion systems by Branch and Cut
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...
Turang Ahadi-Oskui, Stefan Vigerske, Ivo Nowak, Ge...
TCIAIG
2010
13 years 5 months ago
Evolutionary Game Design
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
Cameron Browne, Frédéric Maire
USAB
2010
13 years 9 months ago
Scene Segmentation in Artistic Archive Documentaries
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
Dalibor Mitrovic, Stefan Hartlieb, Matthias Zeppel...
SIGSOFT
2010
ACM
13 years 8 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
ICFEM
2010
Springer
13 years 9 months ago
Laws of Pattern Composition
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
Hong Zhu, Ian Bayley