Keyphrases
- operating system
- scheduling problem
- model checking
- single machine
- kernel methods
- kernel function
- database manager
- open source
- linear combination
- face verification
- multiple kernel learning
- scheduling algorithm
- db universal database
- formal verification
- formal methods
- gaussian processes
- processing times
- database
- data processing
- signature verification
- lower bound
- training data
- modular architecture
- priority queue
- windows xp
- image pyramids
- case study