4555 search results - page 500 / 911 » Deductive Algorithmic Knowledge |
117
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
126
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
126
click to vote
IBPRIA
2007
Springer
15 years 11 months ago
2007
Springer
Image preprocessing stage (also known as iris segmentation) is the first step of the iris recognition process and determines its accuracy. In this paper, we propose a method for ir...
145
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
124
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...