Nachum Dershowitz

Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Nachum Dershowitz', query time: 0.23s Refine Results
  1. 1
    How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study

    How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study by Saeed Esmail, Kfir Bar, Nachum Dershowitz

    Published 2022-08-01
    Get full text
    Article
  2. 2
    Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material

    Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material by Shlomo Tannor, Nachum Dershowitz, Moshe Lavee

    Published 2023-08-01
    Get full text
    Article
  3. 3
    A Hackathon for Classical Tibetan

    A Hackathon for Classical Tibetan by Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf

    Published 2019-01-01
    Get full text
    Article
  4. 4
    Developing the ArchAIDE Application: A digital workflow for identifying, organising and sharing archaeological pottery using automated image recognition

    Developing the ArchAIDE Application: A digital workflow for identifying, organising and sharing archaeological pottery using automated image recognition by Francesca Anichini, Francesco Banterle, Jaume Buxeda i Garrigós, Marco Callieri, Nachum Dershowitz, Nevio Dubbini, Diego Lucendo Diaz, Tim Evans, Gabriele Gattiglia, Katie Green, Maria Letizia Gualandi, Miguel Angel Hervas, Barak Itkin, Marisol Madrid i Fernandez, Eva Miguel Gascón, Michael Remmy, Julian Richards, Roberto Scopigno, Llorenç Vila, Lior Wolf, Holly Wright, Massimo Zallocco

    Published 2020-03-01
    Get full text
    Article

Search Tools: