Sciweavers

1802 search results - page 205 / 361
» Model-based Theory Combination
Sort
View
LPNMR
2005
Springer
14 years 4 months ago
An ID-Logic Formalization of the Composition of Autonomous Databases
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
MCS
2005
Springer
14 years 4 months ago
Ensembles of Classifiers from Spatially Disjoint Data
We describe an ensemble learning approach that accurately learns from data that has been partitioned according to the arbitrary spatial requirements of a large-scale simulation whe...
Robert E. Banfield, Lawrence O. Hall, Kevin W. Bow...
MHCI
2005
Springer
14 years 4 months ago
GpsTunes: controlling navigation via audio feedback
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...
Steven Strachan, Parisa Eslambolchilar, Roderick M...
RE
2005
Springer
14 years 4 months ago
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
Mehrdad Sabetzadeh, Steve M. Easterbrook
SEMWEB
2005
Springer
14 years 4 months ago
The Fuzzy Description Logic f-SHIN
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...