7167 search results - page 187 / 1434 » A Technique for Invariant Generation |
183
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...
200
click to vote
CRIWG
2003
15 years 8 months ago
2003
Abstract. In this paper we present the use of adaptation techniques to dynamically generate adaptive collaborative Web-based courses. These courses are generated at runtime by sele...
227
click to vote
ASE
2006
15 years 7 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
239
click to vote
INLG
2010
Springer
15 years 5 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
170
click to vote
ALT
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We give a lower bound for the error of any unitarily invariant algorithm learning half-spaces against the uniform or related distributions on the unit sphere. The bound i...