1317 search results - page 226 / 264 » Fusions of Description Logics and Abstract Description Syste... |
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
ICSE
2000
IEEE-ACM
14 years 3 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
The field of information retrieval has witnessed over 50 years of research on retrieval methods for metadata descriptions and controlled indexing languages, the prototypical exam...
CICLING
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
ER
1999
Springer
14 years 24 days ago
1999
Springer
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...