1948 search results - page 95 / 390 » Formalizing Mirror Theory |
130
click to vote
SEMWEB
2009
Springer
15 years 12 months ago
2009
Springer
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
130
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
175
click to vote
TYPES
1998
Springer
15 years 9 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
132
click to vote
LLC
2011
15 years 12 days ago
2011
Computational phonology approaches the study of sound patterns in the world’s languages from a computational perspective. This article explains this perspective and its relevanc...
137
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...