557 search results - page 93 / 112 » The L4.verified Project - Next Steps |
CW
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper describes an automatic 3D surface scanning technique using a 3D scanner. It allows the acquisition of a complete surface model of a 3D artifact without any manual reg...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In facial image analysis, image resolution is an important factor which has great influence on the performance of face recognition systems. As for lowresolution face recognition p...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
— Today’s implanted neural systems are bound by tight constraints on power and communication bandwidth. Most conventional ADC-based approaches fall into two categories. Either ...
ISCC
2008
IEEE
14 years 2 months ago
2008
IEEE
Multimedia Broadcast/Multicast Service (MBMS) and High-Speed Downlink Packet Access (HSDPA) are two key technologies that constitute a significant step towards the Mobile Broadban...
AFRICACRYPT
2008
Springer
14 years 2 months ago
2008
Springer
Moustique is one of the sixteen finalists in the eSTREAM stream cipher project. Unlike the other finalists it is a self-synchronising cipher and therefore offers very different...