1178 search results - page 169 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
160
click to vote
WOA
2007
15 years 7 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...
173
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Many applications make use of named entity classification. Machine learning is the preferred technique adopted for many named entity classification methods where the choice of feat...
173
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
157
click to vote
EVOW
2003
Springer
15 years 11 months ago
2003
Springer
This paper explores the application of evolutionary techniques to the design of novel sounds and their characteristics during performance. It is based on the “selective breedingâ...
178
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...