Sciweavers

3281 search results - page 200 / 657
» An Approach to use Executable Models for Testing
Sort
View
126
Voted
GECCO
2008
Springer
145views Optimization» more  GECCO 2008»
15 years 4 months ago
An evolutionary approach for competency-based curriculum sequencing
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...
Luis de Marcos, José-Javier Martínez...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 11 months ago
Proving Reachability Using FShell - (Competition Contribution)
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...
Andreas Holzer, Daniel Kroening, Christian Schallh...
157
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Gain-robust multi-pitch tracking using sparse nonnegative matrix factorization
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...
Robert Peharz, Michael Wohlmayr, Franz Pernkopf
ACSAC
2003
IEEE
15 years 8 months ago
Intrusion Detection: A Bioinformatics Approach
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...
Scott E. Coull, Joel W. Branch, Boleslaw K. Szyman...
137
Voted
ECIR
2011
Springer
14 years 7 months ago
Learning Models for Ranking Aggregates
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 ...
Craig Macdonald, Iadh Ounis