Sciweavers

152 search results - page 11 / 31
» A Tutorial on the Cross-Entropy Method
Sort
View
CAV
2009
Springer
128views Hardware» more  CAV 2009»
15 years 9 months ago
Modelling Epigenetic Information Maintenance: A Kappa Tutorial
Jean Krivine, Vincent Danos, Arndt Benecke
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 8 months ago
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Gary T. Leavens, Joseph R. Kiniry, Erik Poll
113
Voted
IFM
2004
Springer
15 years 8 months ago
A Tutorial Introduction to Designs in Unifying Theories of Programming
Jim Woodcock, Ana Cavalcanti
128
Voted
UAI
2003
15 years 3 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
15 years 3 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