Semantics

Results: 7371



#Item
181

Semantics and Complexity of SPARQL ´ JORGE PEREZ and MARCELO ARENAS Pontificia Universidad Catolica ´

Add to Reading List

Source URL: marenas.sitios.ing.uc.cl

- Date: 2013-04-26 05:57:01
    182

    Event Structure Semantics for Nominal Calculi? Roberto Bruni1 , Hern´an Melgratti2 , and Ugo Montanari1 1 Dipartimento di Informatica, Universit`a di Pisa, Italia. 2 IMT Lucca Institute for Advance Studies, Italia.

    Add to Reading List

    Source URL: www.di.unipi.it

    - Date: 2006-06-09 12:40:50
      183

      Efficient Optimally Lazy Algorithms for Minimal-Interval Semantics∗ Paolo Boldi Sebastiano Vigna Dipartimento di Informatica, Università degli Studi di Milano

      Add to Reading List

      Source URL: vigna.di.unimi.it

      - Date: 2016-08-11 04:53:10
        184

        A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers ´ Alvaro

        Add to Reading List

        Source URL: babel.ls.fi.upm.es

        - Date: 2016-05-31 07:55:29
          185

          HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu University of Washington, USA {chushumo, weitzkon, akcheung, suciu}@cs.washington.edu

          Add to Reading List

          Source URL: homes.cs.washington.edu

          - Date: 2017-06-05 19:19:54
            186

            Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany

            Add to Reading List

            Source URL: plv.mpi-sws.org

            - Date: 2016-12-07 07:19:23
              187

              Semantics-Preserving Hashing for Cross-View Retrieval Zijia Lin†,‡ Guiguang Ding‡ Mingqing Hu§ Jianmin Wang‡ †

              Add to Reading List

              Source URL: www.cv-foundation.org

              - Date: 2015-05-25 21:18:47
                188

                John Benjamins Publishing Company This is a contribution from Corpus Methods for Semantics. Quantitative studies in polysemy and synonymy. Edited by Dylan Glynn and Justyna A. Robinson. © 2014. John Benjamins Publishin

                Add to Reading List

                Source URL: www.linguistics.ucsb.edu

                - Date: 2014-11-20 12:47:30
                  UPDATE