3281 search results - page 200 / 657 » An Approach to use Executable Models for Testing |
174
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
211
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
212
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
While nonnegative matrix factorization (NMF) has successfully been applied for gain-robust multi-pitch detection, a method to track pitch values over time was not provided. We emb...
163
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the problem of detecting masquerading, a security attack in which an intruder assumes the identity of a legitimate user. Many approaches based on Hidden Marko...
176
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
Aggregate ranking tasks are those where documents are not the final ranking outcome, but instead an intermediary component. For instance, in expert search, a ranking of candidate ...