3552 search results - page 354 / 711 » Proof theory in the abstract |
183
click to vote
DSOM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
176
click to vote
ECSQARU
2007
Springer
16 years 29 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...
166
click to vote
FMCAD
2007
Springer
16 years 29 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...
164
click to vote
FMCAD
2007
Springer
16 years 29 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...
168
click to vote
ICA
2007
Springer
16 years 28 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...