3690 search results - page 183 / 738 » Computation with classical sequents |
176
click to vote
UAI
1993
15 years 7 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
177
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
We prove lower bounds on the error probability of a quantum algorithm for searching through an unordered list of N items, as a function of the number T of queries it makes. In par...
164
click to vote
BMVC
2010
15 years 4 months ago
2010
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by finding a reference shape and global rigid transformations given p...
172
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...
179
click to vote
CAEPIA
2005
Springer
16 years 2 days ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...