10568 search results - page 506 / 2114 » Computer Intelligence and Formalization |
149
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
On the investigation of linguistic techniques used in ontology matching, we propose a new idea of virtual documents to pursue a cost-effective approach to linguistic matching in t...
143
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
121
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Making commitments, e.g., through promises and threats, enables a player to exploit the strengths of his own strategic position as well as the weaknesses of that of his opponents....
175
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
139
click to vote
ICTAI
1992
IEEE
15 years 9 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...