2880 search results - page 556 / 576 » context 2007 |
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
While lots of research in ontology matching is related to the issue of computing and reļ¬ning similarity measures, only little attention has been paid to question how to extract t...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciļ¬...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of computing an approximate minimum cycle basis of an undirected non-negative edge-weighted graph G with m edges and n vertices; the extension to directed ...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for veriļ¬cation of electronic voting protocols. We present a model in which desirable properties of elect...