5671 search results - page 991 / 1135 » A Semantic Approach to Interpolation |
171
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Hierarchical classifications are used pervasively by humans as a means to organize their data and knowledge about the world. One of their main advantages is that natural language ...
146
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...
187
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...
156
click to vote
SMALLTALK
2007
Springer
16 years 19 days ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
153
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...