325 search results - page 29 / 65 » Automatic Generation of Editors for Higher-Order Data Struct... |
JCDL
2003
ACM
14 years 1 months ago
2003
ACM
Automatic metadata generation provides scalability and usability for digital libraries and their collections. Machine learning methods offer robust and adaptable automatic metadat...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
A major source of information (often the most crucial and informative part) in scholarly articles from scientific journals, proceedings and books are the figures that directly pro...
BMCBI
2006
13 years 8 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...