5818 search results - page 1139 / 1164 » A reasonable Semantic Web |
117
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
116
Voted
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
123
click to vote
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
133
click to vote
DOCENG
2006
ACM
15 years 7 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
106
Voted
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...