3552 search results - page 401 / 711 » Proof theory in the abstract |
170
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
164
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...
179
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Many works have identified the potential benefits of using argumentation to address a large variety of multiagent problems. In this paper we take this idea one step furth...
149
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...