Sciweavers

2954 search results - page 343 / 591
» Beyond
Sort
View
CP
2003
Springer
15 years 12 months ago
Automated Mechanism Design: A New Application Area for Search Algorithms
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
Tuomas Sandholm
DIGRA
2003
Springer
15 years 11 months ago
The Diverse Worlds of Computer Games: A Content Analysis of Spaces, Populations, Styles and Narratives
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
Jeffrey E. Brand, Scott Knight, Jakub Majewski
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
IPSN
2003
Springer
15 years 11 months ago
Power-Aware Acoustic Processing
We investigated the tradeoffs between accuracy and battery-energy longevity of acoustic beamforming on disposable sensor nodes subject to varying key parameters: 1) number of micr...
Ronald Riley, Brian Schott, Joseph Czarnaski, Sohi...
LATIN
2010
Springer
15 years 11 months ago
Euclidean Prize-Collecting Steiner Forest
In this paper, we consider Steiner forest and its generalizations, prize-collecting Steiner forest and k-Steiner forest, when the vertices of the input graph are points in the Euc...
MohammadHossein Bateni, MohammadTaghi Hajiaghayi