2696 search results - page 366 / 540 » Semantic Abstraction and Anaphora |
145
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This talk explores aspects relevant for peer-to-peer search infrastructures, which we think are better suited to semantic web search than centralized approaches. It does ...
168
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
159
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
197
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
194
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...