214 search results - page 29 / 43 » Optimisation of Terminological Reasoning |
138
click to vote
WETICE
2003
IEEE
15 years 7 months ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...
127
click to vote
AAAI
2008
15 years 4 months ago
2008
Classification of texts potentially containing a complex and specific terminology requires the use of learning methods that do not rely on extensive feature engineering. In this w...
119
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
105
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Service discovery employs matching techniques to select services by comparing their descriptions against user constraints. Semantic-based matching approaches achieve higher recall...
115
click to vote
DLOG
2007
15 years 4 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...