3335 search results - page 398 / 667 » Grid result checking |
159
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
145
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
193
click to vote
ICB
2007
Springer
16 years 23 days ago
2007
Springer
Palmprint recognition, as a reliable personal identity check method, has been receiving increasing attention during recent years. According to previous work, local texture analysis...
162
click to vote
JSAI
2007
Springer
16 years 22 days ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
161
click to vote
LTCONF
2007
Springer
16 years 22 days ago
2007
Springer
The paper reports on a series of experiments conducted in order to test the feasibility of automatically generating synsets for Slovene wordnet. The resources used were the multil...