Sciweavers

9133 search results - page 333 / 1827
» Modelling perception using image processing algorithms
Sort
View
FMICS
2008
Springer
15 years 6 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
CVPR
2008
IEEE
16 years 6 months ago
Nonlinear image representation using divisive normalization
In this paper, we describe a nonlinear image representation based on divisive normalization that is designed to match the statistical properties of photographic images, as well as...
Siwei Lyu, Eero P. Simoncelli
176
Voted
VISUALIZATION
2000
IEEE
15 years 9 months ago
Volume illustration: non-photorealistic rendering of volume models
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...
David S. Ebert, Penny Rheingans
DMSN
2008
ACM
15 years 6 months ago
Probabilistic processing of interval-valued sensor data
When dealing with sensors with different time resolutions, it is desirable to model a sensor reading as pertaining to a time interval rather than a unit of time. We introduce two ...
Sander Evers, Maarten M. Fokkinga, Peter M. G. Ape...
ICIP
2006
IEEE
16 years 6 months ago
A Photometric Model for Specular Highlights and Lighting Changes. Application to Feature Points Tracking
This article proposes a local photometric model that compensates for specular highlights and lighting variations due to position and intensity changes. We define clearly on which ...
Alain Trémeau, Christine Fernandez-Maloigne...