Sciweavers

7426 search results - page 123 / 1486
» The LHC Computing Challenge
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
EATIS
2008
ACM
15 years 6 months ago
Achieving better performance through true best effort in scavenging grid computing
In addition to an untuned performance, inefficient resource management in hinders any attempt to offer Quality of Service in scavenging grids. In this case, Best-Effort mechanisms...
Raphael de Aquino Gomes, Fábio Moreira Cost...
LREC
2010
246views Education» more  LREC 2010»
15 years 6 months ago
Computational Linguistics for Mere Mortals - Powerful but Easy-to-use Linguistic Processing for Scientists in the Humanities
Delivering linguistic resources and easy-to-use methods to a broad public in the humanities is a challenging task. On the one hand users rightly demand easy to use interfaces but ...
Rüdiger Gleim, Alexander Mehler
ITSSA
2006
90views more  ITSSA 2006»
15 years 4 months ago
The UbiMedic Framework to Support Medical Emergencies by Ubiquitous Computing
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
Francesco De Mola, Giacomo Cabri, Nicola Muratori,...
ICIP
2010
IEEE
15 years 2 months ago
Towards computational models of kinship verification
We tackle the challenge of kinship verification using novel feature extraction and selection methods, automatically classifying pairs of face images as "related" or &quo...
Ruogu Fang, Kevin D. Tang, Noah Snavely, Tsuhan Ch...