2992 search results - page 155 / 599 » Semantic Distance Measures |
214
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
161
click to vote
DAWAK
2008
Springer
15 years 6 months ago
2008
Springer
The ability to accurately judge the similarity between natural language sentences is critical to the performance of several applications such as text mining, question answering, an...
127
click to vote
LOGCOM
2010
15 years 2 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
121
click to vote
SG
2010
Springer
15 years 8 months ago
2010
Springer
Declarative approaches to camera control model inputs as properties on the camera and then rely on constraint-based and/or optimization techniques to compute the camera parameters ...
134
click to vote
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...