1544 search results - page 164 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
175
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
172
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
What role should evaluation play in the development of natural language generation () techniques and systems? In this paper we describe what is involved in natural langua...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
195
click to vote
ICIW
2008
IEEE
16 years 28 days ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
201
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...