5855 search results - page 328 / 1171 » Test generation and minimization with |
177
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
194
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Name ambiguity in the context of bibliographic citations is one of the hardest problems currently faced by the digital library community. Several methods have been proposed in the ...
176
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
In our paper, we analyze possibilities to generate true random data in mobile devices such as mobile phones or pocket computers. We show how to extract arguably true random data w...
186
click to vote
AIED
2007
Springer
16 years 29 days ago
2007
Springer
An implicit assumption in psychometrics and educational statistics is that the generative model for student scores on test questions is governed by the topics of those questions an...
162
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...