Sciweavers

5879 search results - page 78 / 1176
» Separation - Past, Present, and Future
Sort
View
ICIP
2006
IEEE
16 years 8 months ago
Stochastic Approach to Separate Diffuse and Specular Reflections
This paper presents separation of specular and diffuse reflection components from an image pair. The proposed approach is based on the dichromatic reflectance model and Markov ran...
Sang Hwa Lee, Hyung il Koo, Nam Ik Cho, Jong-Il Pa...
POPL
2007
ACM
16 years 6 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
ML
2006
ACM
113views Machine Learning» more  ML 2006»
16 years 9 days ago
A separate compilation extension to standard ML
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
David Swasey, Tom Murphy VII, Karl Crary, Robert H...
ICIP
2005
IEEE
15 years 12 months ago
Bayesian blind source separation for brain imaging
This paper deals with the problem of blind source separation in fMRI data analysis. Our main contribution is to present a maximum likelihood based method to blindly separate the b...
Hicham Snoussi, Vince D. Calhoun
ENTCS
2007
174views more  ENTCS 2007»
15 years 6 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix