Sciweavers

152 search results - page 11 / 31
» A Tutorial on the Cross-Entropy Method
Sort
View
CAV
2009
Springer
128views Hardware» more  CAV 2009»
14 years 3 months ago
Modelling Epigenetic Information Maintenance: A Kappa Tutorial
Jean Krivine, Vincent Danos, Arndt Benecke
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 2 months ago
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Gary T. Leavens, Joseph R. Kiniry, Erik Poll
UAI
2003
13 years 9 months ago
On the Convergence of Bound Optimization Algorithms
Many practitioners who use EM and related algorithms complain that they are sometimes slow. When does this happen, and what can be done about it? In this paper, we study the gener...
Ruslan Salakhutdinov, Sam T. Roweis, Zoubin Ghahra...
INTERACT
1997
13 years 9 months ago
Methods for Measuring Usability
The tutorial explains the benefits of measuring usability as part of a user-centred design process, and introduces the participants to the methodology for usability measurement dev...
Nigel Bevan, Ian Curson