Sciweavers

3330 search results - page 209 / 666
» software 2010
Sort
View
113
Voted
CCE
2010
15 years 1 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...
122
Voted
TCIAIG
2010
14 years 10 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
136
Voted
USAB
2010
15 years 2 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...
114
Voted
SIGSOFT
2010
ACM
15 years 1 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
15 years 1 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