Sciweavers

2371 search results - page 386 / 475
» Multivariable Utility Functions
Sort
View
COMPUTER
2006
98views more  COMPUTER 2006»
15 years 4 months ago
Energy-Aware User Interfaces and Energy-Adaptive Displays
The utility of a mobile computer, such as a handheld or a laptop, is largely constrained by battery life. The display stands out as a major consumer of battery energy, so reducing...
Parthasarathy Ranganathan, Erik Geelhoed, Meera Ma...
ENTCS
2006
90views more  ENTCS 2006»
15 years 4 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
ISCI
2008
83views more  ISCI 2008»
15 years 4 months ago
A diversity maintaining population-based incremental learning algorithm
In this paper we propose a new probability update rule and sampling procedure for population-based incremental learning. These proposed methods are based on the concept of opposit...
Mario Ventresca, Hamid R. Tizhoosh
144
Voted
IJCV
2006
192views more  IJCV 2006»
15 years 4 months ago
Piecewise-Smooth Dense Optical Flow via Level Sets
We propose a new algorithm for dense optical flow computation. Dense optical flow schemes are challenged by the presence of motion discontinuities. In state of the art optical flo...
Tomer Amiaz, Nahum Kiryati
JAR
2008
88views more  JAR 2008»
15 years 4 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar