3560 search results - page 67 / 712 » integration 2008 |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
194
click to vote
DILS
2008
Springer
15 years 1 months ago
2008
Springer
This paper concerns the research topic of data integration in the life sciences. The paper presents no technical results, but rather provides a classification of research activitie...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— A new dissipative method to design observers for a large class of nonlinear systems has been introduced recently by the author. It generalizes and includes several wellknown ob...
115
click to vote
IJMMS
2008
14 years 12 months ago
2008
In this paper we present the design, implementation and evaluation of SOBA, a system for ontology-based information extraction from heterogeneous data resources, including plain t...
113
click to vote
JUCS
2008
14 years 12 months ago
2008
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...