Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Yu Fu Fu"'
Publikováno v:
Twelfth International Conference on Graphics and Image Processing (ICGIP 2020).
Considering the low spatial resolution of remote sensing images, it is unreliable to achieve accurate pixel-level color restoration. Inspirited by human perception, which is sensitive to salience features, in this paper, we propose an approach for co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08da52bbc1baf0a8c2b3da55db8c740c
https://doi.org/10.1117/12.2589397
https://doi.org/10.1117/12.2589397
Publikováno v:
Computer Aided Verification ISBN: 9783030816872
CAV (2)
CAV (2)
We present a certified SMT QF_BV solver CoqQFBV built from a verified bit blasting algorithm, Kissat, and the verified SAT certificate checker GratChk in this paper. Our verified bit blasting algorithm supports the full QF_BV logic of SMT-LIB; it is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0298ba96eb32f2bcf8b58a2edfeae073
https://doi.org/10.1007/978-3-030-81688-9_7
https://doi.org/10.1007/978-3-030-81688-9_7
Publikováno v:
CCS
We develop an automated formal technique to specify and verify signed computation in cryptographic programs. In addition to new instructions, we introduce a type system to detect type errors in programs. A type inference algorithm is also provided to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c26aa32e6a15d6e7f71c7faa18a957e
https://doi.org/10.1145/3319535.3354199
https://doi.org/10.1145/3319535.3354199