4555 search results - page 284 / 911 » Deductive Algorithmic Knowledge |
150
click to vote
SYNASC
2007
IEEE
16 years 27 days ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
165
click to vote
TARK
2007
Springer
16 years 22 days ago
2007
Springer
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and imposs...
169
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Data privacy is a major concern that threatens the widespread deployment of Data Grids in domains such as health-care and finance. We propose a unique approach for obtaining knowl...
167
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we classify several algorithmic problems in group theory in the classes PZK and SZK (problems with perfect/statistical zero-knowledge proofs respectively). Prior to ...
121
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce a novel approach for separating and segmenting individual facades from streetside images. Our algorithm incorporates prior knowledge about arbitrarily shaped...