9572 search results - page 253 / 1915 » Cover Algorithms and Their Combination |
359
click to vote
Tutorial
This tutorial was held within the Maths Club at the University of Leeds
Topics covered (briefly):
Monte Carlo Integration
Markov Chain
Markov Chain Monte Carlo Sampling
Metrop...
163
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
215
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
This tutorial introduces fingerprint recognition systems and their main components: sensing, feature extraction and matching. The basic technologies are surveyed and some state-of-...
128
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
132
click to vote
ACL
2006
15 years 8 months ago
2006
We present an algorithm which creates a German CCGbank by translating the syntax graphs in the German Tiger corpus into CCG derivation trees. The resulting corpus contains 46,628 ...