152 search results - page 16 / 31 » A Tutorial on the Cross-Entropy Method |
DAC
1994
ACM
14 years 15 days ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
FTCGV
2011
12 years 12 months ago
2011
Powerful statistical models that can be learned efficiently from large amounts of data are currently revolutionizing computer vision. These models possess a rich internal structur...
FMCO
2004
Springer
14 years 1 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
PVLDB
2010
13 years 6 months ago
2010
Managing, searching and mining uncertain data has achieved much attention in the database community recently due to new sensor technologies and new ways of collecting data. There ...
ICCAD
1996
IEEE
14 years 17 days ago
1996
IEEE
This paper presents a tutorial on mixed-signal testing. Our focus is on testing the analog portion of the mixed-signal device, as the digital portion is handled in the usual way. ...