Sciweavers

5863 search results - page 1058 / 1173
» Calculating Functional Programs
Sort
View
ENTCS
2006
90views more  ENTCS 2006»
13 years 10 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. ...
ESWA
2006
86views more  ESWA 2006»
13 years 10 months ago
Modeling consumer acceptance probabilities
This paper investigates how to estimate the likelihood of a customer accepting a loan offer as a function of the offer parameters and how to choose the optimal set of parameters f...
L. C. Thomas, Ki Mun Jung, Steve D. Thomas, Y. Wu
CAL
2007
13 years 10 months ago
Dynamic Predication of Indirect Jumps
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
José A. Joao, Onur Mutlu, Hyesoon Kim, Yale...
CMPB
2007
83views more  CMPB 2007»
13 years 10 months ago
A SAS macro for parametric and semiparametric mixture cure models
: Cure models have been developed to analyze failure time data with a cured fraction. For such data, standard survival models are usually not appropriate because they do not accoun...
Fabien Corbière, Pierre Joly
IJAIT
2006
103views more  IJAIT 2006»
13 years 10 months ago
Rendering Aesthetic Impressions of Text in Color Space
and renders an abstract color grid artwork reminiscent of early twentieth century abstract expressionism. Following Dewey's psychological interpretation of "aesthetic&quo...
Hugo Liu, Pattie Maes
« Prev « First page 1058 / 1173 Last » Next »