1547 search results - page 294 / 310 » The Isabelle Collections Framework |
ESTIMEDIA
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents techniques to tightly integrate worstcase execution time (WCET) information into a compiler framework. Currently, a tight integration of WCET information into ...
EUPROJECTS
2006
Springer
14 years 1 months ago
2006
Springer
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of thi...
SIGIR
2010
ACM
14 years 1 months ago
2010
ACM
We investigate the problem of learning document classifiers in a multilingual setting, from collections where labels are only partially available. We address this problem in the ...
IFIP
2000
Springer
14 years 1 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...
ISMIR
2000
Springer
14 years 1 months ago
2000
Springer
Music Information Retrieval has a longer history than most people realise, with systems developed in the 1960's. The field has its roots in information retrieval, musicology ...