1802 search results - page 122 / 361 » Model-based Theory Combination |
127
Voted
INTEROP
1999
Springer
15 years 6 months ago
1999
Springer
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
119
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
92
Voted
SARA
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
101
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
139
Voted
IJCAI
2007
15 years 4 months ago
2007
A key problem in playing strategy games is learning how to allocate resources effectively. This can be a difficult task for machine learning when the connections between actions a...