8828 search results - page 1625 / 1766 » Formal methods in practice |
156
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
119
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
142
click to vote
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...
145
click to vote
DRR
2010
15 years 6 months ago
2010
Biomedical images are invaluable in establishing diagnosis, acquiring technical skills, and implementing best practices in many areas of medicine. At present, images needed for in...
279
click to vote
ACCV
2010
Springer
15 years 6 months ago
2010
Springer
Most high dynamic range image (HDRI) algorithms assume stationary scene for registering multiple images which are taken under different exposure settings. In practice, however, the...