Sciweavers

9382 search results - page 64 / 1877
» A Functional Model for Data Analysis
Sort
View
ICFP
2005
ACM
16 years 1 months ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
SEAL
2010
Springer
14 years 11 months ago
Bayesian Reliability Analysis under Incomplete Information Using Evolutionary Algorithms
During engineering design, it is often difficult to quantify product reliability because of insufficient data or information for modeling the uncertainties. In such cases, one need...
Rupesh Kumar Srivastava, Kalyanmoy Deb
156
Voted
ECRTS
2007
IEEE
15 years 7 months ago
Cache-Aware Timing Analysis of Streaming Applications
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoud...
CCECE
2009
IEEE
15 years 8 months ago
Inverse data transformation for change detection in wind turbine diagnostics
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
Yanjun Yan, Lisa Ann Osadciw, Glen Benson, Eric Wh...
ICPR
2004
IEEE
16 years 2 months ago
Non-linear Reflectance Model for Bidirectional Texture Function Synthesis
A rough texture modelling involves a huge image data-set - the Bidirectional Texture Function (BTF). This 6-dimensional function depends on planar texture coordinates as well as o...
Jirí Filip, Michal Haindl