1251 search results - page 224 / 251 » Digital trail libraries |
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
114
click to vote
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
The workshop on Information Access to Cultural Heritage (IACH 2008) was held during the ECDL conference in Aarhus on the 18th September 2008. The workshop provided a venue to brin...
109
Voted
BMCBI
2005
14 years 11 months ago
2005
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
A framework is presented for discovering partial duplicates in large collections of scanned books with optical character recognition (OCR) errors. Each book in the collection is r...