Sciweavers

2979 search results - page 311 / 596
» Computation and the Periodic Table
Sort
View
ERCIMDL
2000
Springer
88views Education» more  ERCIMDL 2000»
15 years 10 months ago
Modeling Archival Repositories for Digital Libraries
This paper studies the archival problem: how a digital library can preserve electronic documents over long periods of time. We analyze how an archival repository can fail and we p...
Arturo Crespo, Hector Garcia-Molina
AAAI
2007
15 years 9 months ago
Restart Schedules for Ensembles of Problem Instances
The mean running time of a Las Vegas algorithm can often be dramatically reduced by periodically restarting it with a fresh random seed. The optimal restart schedule depends on th...
Matthew J. Streeter, Daniel Golovin, Stephen F. Sm...
ASPDAC
2005
ACM
72views Hardware» more  ASPDAC 2005»
15 years 8 months ago
TERPS: the embedded reliable processing system
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
Hongxia Wang, Samuel Rodríguez, Cagdas Diri...
LREC
2010
163views Education» more  LREC 2010»
15 years 8 months ago
Lexical Resources and Ontological Classifications for the Recognition of Proper Names Sense Extension
Particular uses of PNs with sense extension are focussed on and inspected taking into account the presence of PNs in lexical semantic databases and electronic corpora. Methodology...
Rita Marinelli
CASCON
2006
127views Education» more  CASCON 2006»
15 years 8 months ago
A model and architecture for situation determination
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
Graham Thomson, Sotirios Terzis, Paddy Nixon