1414 search results - page 114 / 283 » Completion Energies and Scale |
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
ICTAI
2010
IEEE
13 years 7 months ago
2010
IEEE
Collaborative filtering exploits user preferences, generally ratings, to provide them with recommendations. However, the ratings may not be completely trustworthy: the rating scale...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
On-chip buses are typically designed to meet performance constraints at worst-case conditions, including process corner, temperature, IR-drop, and neighboring net switching patter...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Many watermarking algorithms embed the watermark into the image as contiguous non-overlapping tiles. This tiling structure forms an implicit synchronization template that can be r...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper introduces an algorithm for fast and subpixel precise detection of small, compact image primitives (”blobs”). The algorithm is based on differential geometry and in...