Automatic

Results: 19792



#Item
451

Scaling up Automatic Cross-Lingual Semantic Role Annotation James Henderson Lonneke van der Plas Paola Merlo Department of Linguistics Department of Linguistics Department of Computer Science

Add to Reading List

Source URL: aclweb.org

- Date: 2011-05-20 16:12:30
    452

    AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

    Add to Reading List

    Source URL: www.avacs.org

    - Date: 2015-10-13 06:35:42
      453

      Automatic Test Case Reduction for OpenCL Moritz Pflanzer Alastair F. Donaldson Andrei Lascu

      Add to Reading List

      Source URL: www.doc.ic.ac.uk

      - Date: 2016-04-10 17:29:20
        454

        Automatic Software Verification Spring Semester, 2015 Lecture 2: March 20, 2015 Lecturer: Prof. Mooly Sagiv

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-05-25 10:50:37
          455

          S CRATCH: a Tool for Automatic Analysis of DMA Races ∗ Alastair F. Donaldson Daniel Kroening Philipp R¨ummer

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2012-08-31 08:16:46
            456

            Automatic Verification of Parametric Specifications with Complex Topologies

            Add to Reading List

            Source URL: www.swenjacobs.com

            - Date: 2013-01-31 09:31:35
              457

              Bilbo-Val: Automatic Identification of Bibliographical Zone in Papers Amal Htait, Sebastien Fournier and Patrice Bellot Aix Marseille University, CNRS, ENSAM, University of Toulon, LSIS UMR 7296,13397, Marseille, France

              Add to Reading List

              Source URL: www.lrec-conf.org

              - Date: 2016-05-13 12:14:09
                458

                Chapter 1 Automatic Model Description “Not a wasted word. This has been a main point to my literary thinking all my life.” – Hunter S. Thompson The previous chapter showed how to automatically build structured mode

                Add to Reading List

                Source URL: raw.githubusercontent.com

                  459

                  3.5 AUTOMATIC TOOL EXCHANGE The assembly groups specified to perform unloading, manipulation, position setting and clamping of tool units in the machining centre without application of human force, skilfulness and manage

                  Add to Reading List

                  Source URL: www.mmspektrum.com

                  - Date: 2015-09-30 05:22:58
                    460

                    Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial

                    Add to Reading List

                    Source URL: www.doc.ic.ac.uk

                    - Date: 2013-01-20 10:47:24
                      UPDATE