This paper investigates fitness sharing in genetic programming. Implicit fitness sharing is applied to populations of programs. Three treatments are compared: raw fitness, pure fi...
In this paper we show that application-aware adaptation, a collaborative partnership between the operating system and applications, offers the most general and effective approach ...
Brian Noble, Mahadev Satyanarayanan, Dushyanth Nar...
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
The work establishes fundamental limits between rate, reliability and computational complexity, for the general setting of outage-limited MIMO communications. In the high-SNR regim...
Mining time series data is an important approach for the analysis in many application areas as diverse as biology, environmental research, medicine, or stock chart analysis. As nea...
Alexey Pryakhin, Hans-Peter Kriegel, Johannes A&sz...