Sciweavers

552 search results - page 29 / 111
» Sources of Variability in MEG
Sort
View
APLAS
2007
ACM
15 years 1 months ago
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
Neil D. Jones, René Rydhof Hansen
CCS
2009
ACM
15 years 4 months ago
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
Cédric Fournet, Gurvan Le Guernic, Tamara R...
ESANN
2006
14 years 11 months ago
Hierarchical markovian models for joint classification, segmentation and data reduction of hyperspectral images
Spectral classification, segmentation and data reduction are the three main problems in hyperspectral image analysis. In this paper we propose a Bayesian estimation approach which ...
Nadia Bali, Ali Mohammad-Djafari, Adel Mohammadpou...
PAMI
2007
144views more  PAMI 2007»
14 years 9 months ago
Multiplexing for Optimal Lighting
—Imaging of objects under variable lighting directions is an important and frequent practice in computer vision, machine vision, and image-based rendering. Methods for such imagi...
Yoav Y. Schechner, Shree K. Nayar, Peter N. Belhum...
ICCS
2004
Springer
15 years 3 months ago
Encoding Multiple Solutions in a Linear Genetic Programming Chromosome
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
Mihai Oltean, Crina Grosan, Mihaela Oltean