5964 search results - page 365 / 1193 » A theory of speculative computation |
213
click to vote
SEMWEB
2009
Springer
16 years 2 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
194
click to vote
AGILE
2008
Springer
16 years 1 months ago
2008
Springer
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
207
click to vote
SUM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. An ontology matching method (or a matcher) aims at matching every entity (or concept) in one ontology to the most suitable entity (or entities) in another ontology. Usual...
211
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
200
click to vote
LICS
2003
IEEE
16 years 24 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...