3073 search results - page 99 / 615 » Real World Verification |
FMCAD
2006
Springer
14 years 20 days ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
BIOID
2008
13 years 10 months ago
2008
Abstract. In this contribution, the vulnerabilities of iris-based recognition systems to direct attacks are studied. A database of fake iris images has been created from real iris ...
DIGRA
2003
Springer
14 years 2 months ago
2003
Springer
Does our preoccupation with navigable space distract us from the expressive potential of interactive media? Can our understanding of spatial context in virtual environments (VEs) ...
CG
1999
Springer
13 years 8 months ago
1999
Springer
Augmented environments superimpose computer enhancements on the real world. Such augmented environments are well suited for collaboration of multiple users. To improve the quality...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Most of the search engine optimization techniques attempt to predict users interest by learning from the past information collected from different sources. But, a user's curr...