1604 search results - page 51 / 321 » Development Separation in Lambda-Calculus |
IWIA
2006
IEEE
14 years 1 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
WACV
2002
IEEE
14 years 18 days ago
2002
IEEE
In this paper, we present a PDA-based face recognition system as well as some of the associated challenges of developing a PDAbased face recognition system. We describe a prototyp...
WSC
2008
13 years 10 months ago
2008
The exchange of data between different models in a multisimulation environment is about the exchange of information from within the context of two separate worldviews. This amount...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Existing work on limited feedback for cooperative multicell beamforming quantizes the desired and interfering channel state information (CSI) using separate codebooks. In this pap...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
ImLib3D is a C++ library for 3D medical image processing research. It provides a carefully designed, object-oriented, standards conforming C++ library, as well as a separate visual...