Dershowitz, Nachum

12 publications

AAAI 2021 Computational Visual Ceramicology: Matching Image Outlines to Catalog Sketches Barak Itkin, Lior Wolf, Nachum Dershowitz
WACV 2018 A Method for Segmentation, Matching and Alignment of Dead Sea Scrolls Gil Levi, Pinhas Nisnevich, Adiel Ben-Shalom, Nachum Dershowitz, Lior Wolf
CVPR 2014 Congruency-Based Reranking Itai Ben-Shalom, Noga Levy, Lior Wolf, Nachum Dershowitz, Adiel Ben-Shalom, Roni Shweka, Yaacov Choueka, Tamir Hazan, Yaniv Bar
ICCV 2011 Active Clustering of Document Fragments Using Information Derived from Both Images and Catalogs Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, Yaacov Choueka
ICCVW 2009 Automatically Identifying Join Candidates in the Cairo Genizah Lior Wolf, Rotem Littman, Naama Mayer, Nachum Dershowitz, Roni Shweka, Yaacov Choueka
ALT 1994 From Specifications to Programs: Induction in the Service of Synthesis (Abstract) Nachum Dershowitz
IJCAI 1991 Ordering-Based Strategies for Horn Clauses Nachum Dershowitz
AAAI 1990 Inductive Synthesis of Equational Programs Nachum Dershowitz, Eli Pinchover
AAAI 1988 Goal-Directed Equation Solving Nachum Dershowitz, G. Sivakumar
IJCAI 1985 Synthesis by Completion Nachum Dershowitz
IJCAI 1983 Associative-Commutative Rewriting Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted
IJCAI 1977 Automatic Program Annotation Nachum Dershowitz