4555 search results - page 284 / 911 » Deductive Algorithmic Knowledge |
116
Voted
SYNASC
2007
IEEE
15 years 9 months 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...
113
click to vote
TARK
2007
Springer
15 years 9 months 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...
126
click to vote
CCGRID
2004
IEEE
15 years 7 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...
120
click to vote
CSR
2006
Springer
15 years 7 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 ...
DAGM
2010
Springer
15 years 4 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...