2607 search results - page 221 / 522 » Complete Functional Synthesis |
143
click to vote
TOG
2008
15 years 4 months ago
2008
In this paper we present a new method for estimating the optical transmission in hazy scenes given a single input image. Based on this estimation, the scattered light is eliminate...
161
click to vote
COSIT
2009
Springer
15 years 2 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
145
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. This article describes the first public version of the satisfiability modulo theory (SMT) solver veriT. It is open-source, proof-producing, and complete for quantifier-fr...
126
click to vote
P2P
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a new p2p network topology that reduces bandwidth consumption and provides complete searches by employing a tree hierarchy of indexing nodes that facilitates the search...
127
click to vote
CCL
1994
Springer
15 years 8 months ago
1994
Springer
We employ the model-theoretic method of Ehrenfeucht-Fra sse Games to prove the completeness of the theory CFT, which has been introduced in 22] for describing rational trees in a ...