Sciweavers

8413 search results - page 405 / 1683
» Ordering Problem Subgoals
Sort
View
RTAS
2008
IEEE
16 years 1 months ago
Equivalence between Schedule Representations: Theory and Applications
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...
Matthieu Lemerre, Vincent David, Christophe Aussag...
ICIP
2007
IEEE
16 years 1 months ago
A Novel Kernel Discriminant Analysis for Face Verification
In this paper a novel non-linear subspace method for face verification is proposed. The problem of face verification is considered as a two-class problem (genuine versus imposto...
Georgios Goudelis, Stefanos Zafeiriou, Anastasios ...
ATAL
2007
Springer
16 years 26 days ago
Convergence and rate of convergence of a simple ant model
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
Amine M. Boumaza, Bruno Scherrer
ICB
2007
Springer
104views Biometrics» more  ICB 2007»
16 years 26 days ago
Repudiation Detection in Handwritten Documents
The problems that arise in forensic document examination, are usually quite different from that of traditional writer identification and verification tasks, where the data is ass...
Sachin Gupta, Anoop M. Namboodiri
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 24 days ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...