780 search results - page 16 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
BMCBI
2007
13 years 9 months ago
2007
Background: Current efforts within the biomedical ontology community focus on achieving interoperability between various biomedical ontologies that cover a range of diverse domain...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: The integration and usage of uncertain sensor data in workflows is a difficult problem. In this paper we describe these difficulties which result from the combination of very dis...
BTW
2007
Springer
14 years 3 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
COLING
2010
13 years 4 months ago
2010
We present a theoretical and empirical comparative analysis of the two dominant categories of approaches in Chinese word segmentation: word-based models and character-based models...
IFM
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...