2483 search results - page 279 / 497 » A design framework to model retinas |
163
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
329
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
178
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a method for volume rendering using a spectral representation of colour instead of the traditional RGB model. It is shown how to use this framework for a novel explora...
166
click to vote
IMAGING
2003
15 years 8 months ago
2003
Color imaging systems are continuously improving, and have now improved to the point of capturing high dynamic range scenes. Unfortunately most commercially available color displa...
194
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...