1585 search results - page 81 / 317 » A framework for computer-aided validation |
120
click to vote
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
161
click to vote
AAAI
2012
13 years 5 months ago
2012
It is well known that exploiting label correlations is important for multi-label learning. Existing approaches typically exploit label correlations globally, by assuming that the ...
113
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
In this paper we present a framework to provide dependability through accountability. Our proposal exploits the asymmetry present in the majority of sensor data processing to chea...
116
click to vote
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a novel framework for machine learning-based cross-media knowledge extraction. The framework is specifically designed to handle documents composed of th...
151
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a multiprocessor scheduling framework for integrating hard and soft real-time tasks and best-effort jobs. This framework allows for full system utilization, and ensures...