1992 search results - page 77 / 399 » Model Based Testing with Labelled Transition Systems |
127
click to vote
WACV
2005
IEEE
15 years 8 months ago
2005
IEEE
The construction of appearance-based object detection systems is time-consuming and difficult because a large number of training examples must be collected and manually labeled i...
111
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
133
Voted
EMNLP
2010
15 years 16 days ago
2010
We describe a new scalable algorithm for semi-supervised training of conditional random fields (CRF) and its application to partof-speech (POS) tagging. The algorithm uses a simil...
142
click to vote
JOT
2008
15 years 2 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
102
Voted
COMPLEXITY
2006
15 years 2 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...