Georgiana

Results: 127



#Item
11Axiomatizing GSOS with Predicates∗ Luca Aceto Georgiana Caltais Eugen-Ioan Goriac

Axiomatizing GSOS with Predicates∗ Luca Aceto Georgiana Caltais Eugen-Ioan Goriac

Add to Reading List

Source URL: goriac.info

Language: English - Date: 2011-07-27 14:39:45
    12Call for Papers Scientiae Oxford 2016 St Anne’s College, University of Oxford, 5-7 July 2016 Keynote Speakers: Martin Kemp (Oxford), Wouter Hanegraaff (Amsterdam), Third Speaker TBC Convenor: Georgiana Hedesan (Oxford)

    Call for Papers Scientiae Oxford 2016 St Anne’s College, University of Oxford, 5-7 July 2016 Keynote Speakers: Martin Kemp (Oxford), Wouter Hanegraaff (Amsterdam), Third Speaker TBC Convenor: Georgiana Hedesan (Oxford)

    Add to Reading List

    Source URL: philsci.org

    Language: English - Date: 2015-09-13 15:32:41
      13Axiomatizing GSOS with Predicates? Luca Aceto1 , Georgiana Caltais1 , Eugen-Ioan Goriac1 , and Anna Ingolfsdottir1 [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer Science, Reykjavik University, Icelan

      Axiomatizing GSOS with Predicates? Luca Aceto1 , Georgiana Caltais1 , Eugen-Ioan Goriac1 , and Anna Ingolfsdottir1 [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer Science, Reykjavik University, Icelan

      Add to Reading List

      Source URL: www.ru.is

      Language: English - Date: 2011-02-19 16:38:35
        14PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates⋆ Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, and Anna Ingolfsdottir [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer

        PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates⋆ Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, and Anna Ingolfsdottir [luca,gcaltais10,egoriac10,annai]@ru.is ICE-TCS, School of Computer

        Add to Reading List

        Source URL: goriac.info

        Language: English - Date: 2011-07-27 14:39:22
          15How to make words with vectors: Phrase generation in distributional semantics Georgiana Dinu and Marco Baroni Center for Mind/Brain Sciences University of Trento, Italy (georgiana.dinu|marco.baroni)@unitn.it

          How to make words with vectors: Phrase generation in distributional semantics Georgiana Dinu and Marco Baroni Center for Mind/Brain Sciences University of Trento, Italy (georgiana.dinu|marco.baroni)@unitn.it

          Add to Reading List

          Source URL: clic.cimec.unitn.it

          Language: English - Date: 2014-04-12 06:56:20
            16Improving the Lexical Function Composition Model with Pathwise Optimized Elastic-Net Regression Jiming Li and Marco Baroni and Georgiana Dinu Center for Mind/Brain Sciences University of Trento, Italy (jiming.li|marco.ba

            Improving the Lexical Function Composition Model with Pathwise Optimized Elastic-Net Regression Jiming Li and Marco Baroni and Georgiana Dinu Center for Mind/Brain Sciences University of Trento, Italy (jiming.li|marco.ba

            Add to Reading List

            Source URL: clic.cimec.unitn.it

            Language: English - Date: 2014-02-06 12:15:08
              17Constructing Subsumption Hierarchies of Web Queries Alexander Prohaska1 , Christos Tryfonopoulos2 , Georgiana Ifrim3 1

              Constructing Subsumption Hierarchies of Web Queries Alexander Prohaska1 , Christos Tryfonopoulos2 , Georgiana Ifrim3 1

              Add to Reading List

              Source URL: ceur-ws.org

              Language: English - Date: 2015-05-08 07:22:22
                18Principles for Engineering Elastic IoT Cloud Systems Hong-Linh Truong Joint work with Georgiana Copil, Schahram Dustdar, Duc-Hung Le, Daniel Moldovan, Stefan Nastic Distributed Systems Group

                Principles for Engineering Elastic IoT Cloud Systems Hong-Linh Truong Joint work with Georgiana Copil, Schahram Dustdar, Duc-Hung Le, Daniel Moldovan, Stefan Nastic Distributed Systems Group

                Add to Reading List

                Source URL: www.summersoc.eu

                Language: English - Date: 2015-07-02 07:12:17
                  19PYROCLASTIC DEPOSITS IN THE FLOOR-FRACTURED CRATER ALPHONSUS Carlton C. Allen1, Kerri L. Donaldson Hanna2, Carle M. Pieters2, Daniel P. Moriarty2, Benjamin T. Greenhagen3, 1 Kristen A. Bennett4, Georgiana Y. Kramer5, and

                  PYROCLASTIC DEPOSITS IN THE FLOOR-FRACTURED CRATER ALPHONSUS Carlton C. Allen1, Kerri L. Donaldson Hanna2, Carle M. Pieters2, Daniel P. Moriarty2, Benjamin T. Greenhagen3, 1 Kristen A. Bennett4, Georgiana Y. Kramer5, and

                  Add to Reading List

                  Source URL: diviner.ucla.edu

                  Language: English - Date: 2014-10-30 17:13:26
                    20DISSECT - DIStributional SEmantics Composition Toolkit Georgiana Dinu and Nghia The Pham and Marco Baroni Center for Mind/Brain Sciences (University of Trento, Italy) (georgiana.dinu|thenghia.pham|marco.baroni)@unitn.it

                    DISSECT - DIStributional SEmantics Composition Toolkit Georgiana Dinu and Nghia The Pham and Marco Baroni Center for Mind/Brain Sciences (University of Trento, Italy) (georgiana.dinu|thenghia.pham|marco.baroni)@unitn.it

                    Add to Reading List

                    Source URL: clic.cimec.unitn.it

                    Language: English - Date: 2013-06-06 09:24:05