Sciweavers

855 search results - page 168 / 171
» Embedded core testing using genetic algorithms
Sort
View
118
Voted
PG
1997
IEEE
15 years 3 months ago
Rendering of spherical light fields
A plenoptic function is a parameterized function describing the flow of light in space, and has served as a key idea in building some of the recent image-based rendering systems....
Insung Ihm, Sanghoon Park, Rae Kyoung Lee
ICIP
2008
IEEE
16 years 1 months ago
Robust brain activation detection in functional MRI
Functional Magnetic Resonance Imaging (MRI) is today one of the most important non-invasive tools to study the brain from a functional point of view. The blood-oxygenation-level-d...
David M. Afonso, João M. Sanches, Martin H....
POPL
2010
ACM
15 years 2 months ago
Programming with angelic nondeterminism
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
Rastislav Bodík, Satish Chandra, Joel Galen...
CAV
2009
Springer
215views Hardware» more  CAV 2009»
16 years 3 days ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong
KDD
2007
ACM
182views Data Mining» more  KDD 2007»
15 years 12 months ago
Cleaning disguised missing data: a heuristic approach
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
Ming Hua, Jian Pei