Formal language

Results: 1838



#Item
1Hilbert II Presentation of Formal Correct Mathematical Knowledge Logical Language Michael Meyling

Hilbert II Presentation of Formal Correct Mathematical Knowledge Logical Language Michael Meyling

Add to Reading List

Source URL: www.qedeq.org

Language: English - Date: 2013-05-24 16:15:03
    2Formal Issues in Natural Language Generation Kees van Deemter *, Ehud Reiter *, and Helmut Horacek † (*) Dept. of Computing Science, University of Aberdeen, UK (†) Universit¨at des Saarlandes, Saarbr¨ucken, Germany

    Formal Issues in Natural Language Generation Kees van Deemter *, Ehud Reiter *, and Helmut Horacek † (*) Dept. of Computing Science, University of Aberdeen, UK (†) Universit¨at des Saarlandes, Saarbr¨ucken, Germany

    Add to Reading List

    Source URL: homepages.abdn.ac.uk

    Language: English - Date: 2006-08-18 09:24:19
      3Towards a Formal Language for Electronic Contracts Gerardo Schneider gerardo@i.uio.no Joint work with Cristian Prisacariu (cristi@i.uio.no)

      Towards a Formal Language for Electronic Contracts Gerardo Schneider gerardo@i.uio.no Joint work with Cristian Prisacariu (cristi@i.uio.no)

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2012-01-20 16:13:27
        4Fabienne Martin, Dennis Spohr, Achim Stein Representing a Resource of Formal Lexical-Semantic Descriptions in the Web Ontology Language This paper presents an approach to disambiguating verb senses which

        Fabienne Martin, Dennis Spohr, Achim Stein Representing a Resource of Formal Lexical-Semantic Descriptions in the Web Ontology Language This paper presents an approach to disambiguating verb senses which

        Add to Reading List

        Source URL: www.jlcl.org

        - Date: 2011-01-03 04:19:41
          5A formal account of WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We introduce Blite, a lightweight language for we

          A formal account of WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We introduce Blite, a lightweight language for we

          Add to Reading List

          Source URL: rap.dsi.unifi.it

          - Date: 2008-03-19 11:59:53
            6Formal Language Recognition with the Java Type Checker Yossi Gil1 and Tomer Levy2 1 Department of Computer Science, The Technion—Israel Institute of

            Formal Language Recognition with the Java Type Checker Yossi Gil1 and Tomer Levy2 1 Department of Computer Science, The Technion—Israel Institute of

            Add to Reading List

            Source URL: drops.dagstuhl.de

            - Date: 2016-07-18 08:03:01
              7Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

              Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

              Add to Reading List

              Source URL: formal.iti.kit.edu

              - Date: 2014-03-13 08:30:05
                8AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES John McCarthy Computer Science Department Stanford University

                AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES John McCarthy Computer Science Department Stanford University

                Add to Reading List

                Source URL: www-formal.stanford.edu

                - Date: 2002-03-26 18:16:58
                  9國家華語測驗推動工作委員會 2016 年駐洛杉磯教育組轄區華語文能力測驗報名表 Test of Chinese as a Foreign Language (TOCFL) Formal Test Registration Form 測驗時間Test Date:____(月/M)___(

                  國家華語測驗推動工作委員會 2016 年駐洛杉磯教育組轄區華語文能力測驗報名表 Test of Chinese as a Foreign Language (TOCFL) Formal Test Registration Form 測驗時間Test Date:____(月/M)___(

                  Add to Reading List

                  Source URL: www.tw.org

                  - Date: 2016-01-15 18:46:42
                    10Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                    Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                    Add to Reading List

                    Source URL: models2014.webs.upv.es

                    - Date: 2014-10-29 20:38:03