Sciweavers

1173 search results - page 113 / 235
» Program Derivation Using Analogy
Sort
View
SPIN
2005
Springer
15 years 10 months ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
GECCO
2011
Springer
276views Optimization» more  GECCO 2011»
14 years 8 months ago
Evolution of reward functions for reinforcement learning
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
Scott Niekum, Lee Spector, Andrew G. Barto
115
Voted
ANLP
2000
107views more  ANLP 2000»
15 years 6 months ago
Cut and Paste Based Text Summarization
We present a cut and paste based text summarizer, which uses operations derived from an analhuman written abstracts. The summarizer edits extracted sentences, using reduction to r...
Hongyan Jing, Kathleen McKeown
ISLPED
2010
ACM
153views Hardware» more  ISLPED 2010»
15 years 5 months ago
Leakage minimization using self sensing and thermal management
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
Alireza Vahdatpour, Miodrag Potkonjak
ICASSP
2011
IEEE
14 years 8 months ago
One sentence voice adaptation using GMM-based frequency-warping and shift with a sub-band basis spectrum model
This paper presents a rapid voice adaptation algorithm using GMM-based frequency warping and shift with parameters of a subband basis spectrum model (SBM)[1]. The SBM parameter re...
Masatsune Tamura, Masahiro Morita, Takehiko Kagosh...