Sciweavers

14244 search results - page 687 / 2849
» Modeling Program Predictability
Sort
View
STEP
2003
IEEE
16 years 15 days ago
Metamorphic Testing and Beyond
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan...
JMLR
2012
13 years 9 months ago
Primal-Dual methods for sparse constrained matrix completion
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...
Yu Xin, Tommi Jaakkola
BMCBI
2011
15 years 2 months ago
nocoRNAc: Characterization of non-coding RNAs in prokaryotes
Background: The interest in non-coding RNAs (ncRNAs) constantly rose during the past few years because of the wide spectrum of biological processes in which they are involved. Thi...
Alexander Herbig, Kay Nieselt
CHI
1999
ACM
15 years 11 months ago
The Design and Evaluation of a High-Performance Soft Keyboard
The design and evaluation of a high performance soft keyboard for mobile systems are described. Using a model to predict the upper-bound text entry rate for soft keyboards, we des...
I. Scott MacKenzie, Shawn X. Zhang
SECON
2010
IEEE
15 years 5 months ago
Cloudy Computing: Leveraging Weather Forecasts in Energy Harvesting Sensor Systems
To sustain perpetual operation, systems that harvest environmental energy must carefully regulate their usage to satisfy their demand. Regulating energy usage is challenging if a s...
Navin Sharma, Jeremy Gummeson, David Irwin, Prasha...