Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | P. A. Subrahmanyam |
A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: Proceedings of the Fifth International Conference on VLSI Design, VLSI Design 1992, Bangalore, India, January 4-7, 1992, pp. 341-342, 1992, IEEE Computer Society, 0-8186-2465-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Weiguo Sheng, Gareth Howells 0001, Karl Harmer, Michael C. Fairhurst, Farzin Deravi |
Fingerprint Matching with an Evolutionary Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007, Proceedings, pp. 484-492, 2007, Springer, 978-3-540-74548-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
matching/verification, genetic algorithms, Fingerprints, alignment, minutiae |
10 | Juling Zhang, Wenqiang Guo, Guowu Yang, Yixin Zhu 0005, Xiaoyi Lv |
A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 120369-120382, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Mohamad Ahmadi, Fabian Kuhn |
Distributed Maximum Matching Verification in CONGEST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.07649, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
10 | Mohamad Ahmadi, Fabian Kuhn |
Distributed Maximum Matching Verification in CONGEST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference., pp. 37:1-37:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-168-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
10 | Wengang Zhou, Houqiang Li, Meng Wang 0001, Yijuan Lu, Qi Tian 0001 |
Binary SIFT: towards efficient feature matching verification for image search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIMCS ![In: The 4th International Conference on Internet Multimedia Computing and Service, ICIMCS '12, Wuhan, China, September 9-11, 2012, pp. 1-6, 2012, ACM, 978-1-4503-1600-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
10 | Vladimir Komendantsky |
Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012, pp. 61-70, 2012, ACM, 978-1-4503-1125-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|