1328 search results - page 77 / 266 » Common Knowledge |
KI
2009
Springer
14 years 3 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
KCAP
2009
ACM
14 years 3 months ago
2009
ACM
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
ICANN
2007
Springer
14 years 3 months ago
2007
Springer
In the field of computer vision feature matching in high dimensional feature spaces is a commonly used technique for object recognition. One major problem is to find an adequate s...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Partial knowledge about geospatial categories is critical for knowledge modelling in the geospatial domain but is beyond the scope of conventional ontologies. Degree of overlaps be...