3333 search results - page 287 / 667 » Abstract Proof Search |
170
click to vote
ECSQARU
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
163
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
155
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
162
click to vote
ICA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Renyi’s entropy-based criterion has been proposed as an objective function for independent component analysis because of its relationship with Shannon’s entropy and i...
205
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...