7 search results - page 2 / 2 » An Overview of Semantics for the Validation of Numerical Pro... |
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...