We apply the NSGA-II algorithm and its controlled elitist version NSGA-IIc for the intensity modulated beam radiotherapy dose optimization problem. We compare the performance of th...
Michael Lahanas, Eduard Schreibmann, Natasa Milick...
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...
We begin with a number of basic facts about creativity and a brief history of the idea. These provide criteria that any definition of the term should meet and help guide us to a n...
A method is introduced to learn and represent similarity with linear operators in kernel induced Hilbert spaces. Transferring error bounds for vector valued large-margin classifie...