470 search results - page 44 / 94 » Test Case Generation Based on State and Activity Models |
118
click to vote
FASE
2006
Springer
15 years 4 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
101
Voted
JOC
2011
14 years 3 months ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...
114
click to vote
PAMI
2006
15 years 12 days ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
122
click to vote
APSEC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
112
Voted
ICIAR
2009
Springer
15 years 5 months ago
2009
Springer
A self-adaptive Hidden Markov Model (SA-HMM) based framework is proposed for behavior recognition in this paper. In this model, if an unknown sequence cannot be classified into an...