1999 search results - page 332 / 400 » Finding Reductions Automatically |
103
click to vote
ANOR
2010
14 years 9 months ago
2010
We present a methodology to automatically generate an online job scheduling method for a custom-made objective and real workloads. The scheduling problem comprises independent para...
125
click to vote
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
Automatic classification of the aesthetic content of a picture is one of the challenges in the emerging discipline of computational aesthetics. Any suitable solution must cope wit...
ESWA
2011
14 years 6 months ago
2011
This paper presents a personalized long-term electrocardiogram (ECG) classification framework, which addresses the problem within a long-term ECG signal, known as Holter register, ...
ICONFERENCE
2011
14 years 6 months ago
2011
Medicine, psychology and quality of life literature all point to the importance of not just asking ‘how are you?’, but assessing and being aware of self and others’ well-bei...
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...