1716 search results - page 153 / 344 » Proving Conditional Termination |
159
click to vote
RT
2000
Springer
15 years 10 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...
178
click to vote
CSFW
2010
IEEE
15 years 10 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 ...
224
click to vote
FMCAD
2008
Springer
15 years 8 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...
158
click to vote
ICISC
2007
15 years 8 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...
145
click to vote
NIPS
2003
15 years 8 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...