1582 search results - page 203 / 317 » On Higher-Order Description Logics |
KES
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This work presents a clustering method which can be applied to relational knowledge bases. Namely, it can be used to discover interesting groupings of semantically annota...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
ENC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...