Translation

Results: 19458



#Item
1

Introduction Translation Caveats Conclusions SMT Solvers: New Oracles for the

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2009-11-02 16:44:58
    2Theoretical computer science / Mathematical logic / Logic / Logic in computer science / Formal methods / Automated theorem proving / Model theory / NP-complete problems / Satisfiability modulo theories / Proof assistant / First-order logic / Solver

    Introduction Translation Caveats Conclusions SMT Solvers: New Oracles for the

    Add to Reading List

    Source URL: user.it.uu.se

    Language: English - Date: 2009-11-14 10:24:00
    3Continental philosophy / HB / Roland Barthes / Philosophy

    Seagull World Literature presents a splendid and constantly growing list of must-read books from all corners of the globe—some originally in English, others in outstanding English translation from French, German, Itali

    Add to Reading List

    Source URL: panmacmillan.co.in

    Language: English - Date: 2018-06-07 06:48:00
    4Economy / Cryptography / Computer access control / Finance / Bankruptcy / Debt / Password / Authentication / Mt. Gox / Claim in bankruptcy

    [Translation for Reference Purpose Only] August 23, 2018 To whom it may concern: Rehabilitation Debtor: MtGox Co., Ltd. Rehabilitation Trustee: Nobuaki Kobayashi, Attorney-at-law

    Add to Reading List

    Source URL: www.mtgox.com

    Language: English - Date: 2018-08-23 12:16:30
    5Mathematical analysis / Mathematics / Distribution / Functional analysis / Markov chain / Chemical reaction

    Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar

    Add to Reading List

    Source URL: pages.di.unipi.it

    Language: English - Date: 2015-12-18 06:55:14
    6Finite automata / Temporal logic / Model checking / Theoretical computer science / Formal methods / Mathematical logic / Linear temporal logic / Computation tree logic / Alternating finite automaton / Generalized Bchi automaton / Bchi automaton

    Verifying the LTL to B¨ uchi Automata Translation via Very Weak Alternating Automata Simon Jantsch1 and Michael Norrish2 1

    Add to Reading List

    Source URL: cakeml.org

    Language: English - Date: 2018-05-17 00:58:55
    7Economy / Finance / Money / Bankruptcy / Debt / Mt. Gox / Patent claim

    [English Translation For Reference Purpose Only] August 23, 2018 To whom it may concern: Rehabilitation Debtor: MtGox Co., Ltd. Rehabilitation Trustee: Nobuaki Kobayashi, Attorney-at-law

    Add to Reading List

    Source URL: www.mtgox.com

    Language: English - Date: 2018-08-23 12:16:30
    8Computing / Software engineering / Machine translation / Linguistics / Compiler construction / Computational linguistics / Applied linguistics / Statistical natural language processing / Statistical machine translation / Parsing / Translation / Syntax

    Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:56:00
    9Computing / Computational linguistics / Linguistics / Information science / Artificial neural network / SPARQL / Semantic parsing / Word-sense disambiguation / Semantic Web / Natural language processing / Query language / Question answering

    Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know

    Add to Reading List

    Source URL: uclmr.github.io

    Language: English - Date: 2018-08-06 06:17:49
    UPDATE