1716 search results - page 153 / 344 » Proving Conditional Termination |
RT
2000
Springer
15 years 4 months ago
2000
Springer
: Iridescent colors of optical disks are caused by light diffraction from their surface microstructure. This paper proposes a diffractive illumination model for optical disks based...
110
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
131
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
90
Voted
ICISC
2007
15 years 2 months ago
2007
We characterize the traceability properties of linear codes. It is well known that any code of length n and minimum distance d is a c-TA code if c2 < n/(n−d). In this paper, w...
78
Voted
NIPS
2003
15 years 2 months ago
2003
Margin maximizing properties play an important role in the analysis of classi£cation models, such as boosting and support vector machines. Margin maximization is theoretically in...