1544 search results - page 281 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
226
click to vote
GIS
2006
ACM
16 years 24 days ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
104
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
154
click to vote
TMC
2012
13 years 2 months ago
2012
—This article1 presents the design of a networked system for joint compression, rate control and error correction of video over resource-constrained embedded devices based on the...