Informatics

Results: 44891



#Item
521

Writing Support for Controlled Natural Languages Tobias Kuhn Department of Informatics University of Z¨urich Switzerland

Add to Reading List

Source URL: attempto.ifi.uzh.ch

- Date: 2013-09-23 06:46:50
    522

    Monadic Quantifiers Recognized by Deterministic Pushdown Automata Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Abstract

    Add to Reading List

    Source URL: www.illc.uva.nl

    - Date: 2013-12-13 13:11:15
      523

      How Controlled English can Improve Semantic Wikis Tobias Kuhn Department of Informatics & Institute of Computational Linguistics, University of Zurich, Switzerland

      Add to Reading List

      Source URL: attempto.ifi.uzh.ch

      - Date: 2013-09-23 06:46:50
        524

        Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK

        Add to Reading List

        Source URL: homepages.inf.ed.ac.uk

        - Date: 2006-10-18 10:00:12
          525

          Improved MEG/EEG source localization with reweighted mixed-norms Daniel Strohmeier∗ , Jens Haueisen∗† , Alexandre Gramfort‡§ ∗ Institute of Biomedical Engineering and Informatics, Technische Universit¨at Ilm

          Add to Reading List

          Source URL: dl.dropboxusercontent.com

            526

            Theoretical Computer Science–245 www.elsevier.com/locate/tcs An annotated bibliography on guaranteed graph searching Fedor V. Fomin a , Dimitrios M. Thilikos b,∗ a Department of Informatics, University

            Add to Reading List

            Source URL: users.uoa.gr

            - Date: 2014-06-11 17:30:26
              527

              Università della Svizzera Italiana (USI) Faculty of Informatics Call for Tenure-track Assistant Professor The Faculty of Informatics of the Università della Svizzera italiana (USI), located in beautiful Lugano, Switzer

              Add to Reading List

              Source URL: www.usi.ch

              - Date: 2016-09-04 16:49:25
                528

                Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

                Add to Reading List

                Source URL: www.isf.cs.tu-bs.de

                - Date: 2016-08-15 09:53:47
                  529

                  Plausible reasoning based on qualitative entity embeddings Steven Schockaert (joint work with Shoaib Jameel) School of Computer Science & Informatics

                  Add to Reading List

                  Source URL: users.cs.cf.ac.uk

                  - Date: 2016-07-18 05:31:17
                    530

                    ACE can be described by itself. ? Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn Department of Informatics & Institute of Computational Linguistics

                    Add to Reading List

                    Source URL: attempto.ifi.uzh.ch

                    - Date: 2013-09-23 06:46:50
                      UPDATE