Sciweavers

3935 search results - page 566 / 787
» Database Support for Hypertext
Sort
View
ER
2005
Springer
126views Database» more  ER 2005»
14 years 4 months ago
Managing Information Quality in e-Science: A Case Study in Proteomics
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...
Paolo Missier, Alun D. Preece, Suzanne M. Embury, ...
ER
2005
Springer
153views Database» more  ER 2005»
14 years 4 months ago
Automatically Grounding Semantically-Enriched Conceptual Models to Concrete Web Services
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...
Eran Toch, Avigdor Gal, Dov Dori
ICCSA
2005
Springer
14 years 4 months ago
Semantic Annotation of Biomedical Literature Using Google
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical informa...
Rune Sætre, Amund Tveit, Tonje Strommen Stei...
ISMIR
2005
Springer
124views Music» more  ISMIR 2005»
14 years 4 months ago
Symbolic Representation of Musical Chords: A Proposed Syntax for Text Annotations
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
Christopher Harte, Mark B. Sandler, Samer A. Abdal...
LPAR
2005
Springer
14 years 4 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand