5608 search results - page 341 / 1122 » On the Theory of Matchgate Computations |
179
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...
191
click to vote
SUM
2007
Springer
16 years 27 days 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...
187
click to vote
QEST
2006
IEEE
16 years 24 days 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...
180
click to vote
LICS
2003
IEEE
16 years 1 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...
194
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...