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