4421 search results - page 627 / 885 » Libraries |
215
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
110
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
111
click to vote
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
109
click to vote
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
We describe PhotoCompas, a system that utilizes the time and location information embedded in digital photographs to automatically organize a personal photo collection. PhotoCompa...
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
We have developed MetaExtract, a system to automatically assign Dublin Core + GEM metadata using extraction techniques from our natural language processing research. MetaExtract i...