7075 search results - page 1261 / 1415 » Models and heterogeneous reasoning |
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
116
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling ...
101
click to vote
TARK
2005
Springer
15 years 7 months ago
2005
Springer
Abstract This paper studies the interaction of error and information both in a single-person setting and in an interactive setting. In contrast to Blackwell’s Theorem, which says...
109
click to vote
TSD
2005
Springer
15 years 7 months ago
2005
Springer
Although speech, derived from reading texts, and similar types of speech, e.g. that from reading newspapers or that from news broadcast, can be recognized with high accuracy, recog...
WDAG
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...