Huy

Results: 179



#Item
31Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

Add to Reading List

Source URL: eprints.cs.univie.ac.at

- Date: 2016-05-27 09:10:59
    32Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution Ioanna Lytra, Huy Tran, Uwe Zdun Software Architecture Research Group University of Vienn

    Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution Ioanna Lytra, Huy Tran, Uwe Zdun Software Architecture Research Group University of Vienn

    Add to Reading List

    Source URL: eprints.cs.univie.ac.at

      33The 2013 KIT IWSLT Speech-to-Text Systems for German and English Kevin Kilgour, Christian Mohr, Michael Heck, Quoc Bao Nguyen, Van Huy Nguyen, Evgeniy Shin, Igor Tseyzer, Jonas Gehring, Markus M¨uller, Matthias Sperber,

      The 2013 KIT IWSLT Speech-to-Text Systems for German and English Kevin Kilgour, Christian Mohr, Michael Heck, Quoc Bao Nguyen, Van Huy Nguyen, Evgeniy Shin, Igor Tseyzer, Jonas Gehring, Markus M¨uller, Matthias Sperber,

      Add to Reading List

      Source URL: workshop2013.iwslt.org

      - Date: 2014-02-13 07:11:53
        34Beyond     Locality  Sensitive  Hashing   Alex  Andoni     (Microsoft  Research)   Joint  with:  Piotr  Indyk  (MIT),  Huy  L.  Nguyen  (Princeton),  Ilya   Raz

        Beyond     Locality  Sensitive  Hashing   Alex  Andoni     (Microsoft  Research)   Joint  with:  Piotr  Indyk  (MIT),  Huy  L.  Nguyen  (Princeton),  Ilya   Raz

        Add to Reading List

        Source URL: mmds-data.org

        - Date: 2014-07-08 21:55:14
          35les misérables Prix du Public Festival Off d’AvignonCatégorie Marionnettes - objet Prix de la Ministre de la Culture et Coup de foudre de la Presse Rencontres de Théâtre Jeune Public de Huy 2015 Prix de la

          les misérables Prix du Public Festival Off d’AvignonCatégorie Marionnettes - objet Prix de la Ministre de la Culture et Coup de foudre de la Presse Rencontres de Théâtre Jeune Public de Huy 2015 Prix de la

          Add to Reading List

          Source URL: www.lepetittheatre.ch

          Language: French - Date: 2016-06-16 11:18:58
            36  GRANDE  CONFÉRENCE   Le  LIONS  CLUB  DE  HUY  présente     Jean-­‐Pascal    van  YPERSELE  

              GRANDE  CONFÉRENCE   Le  LIONS  CLUB  DE  HUY  présente     Jean-­‐Pascal    van  YPERSELE  

            Add to Reading List

            Source URL: www.elic.ucl.ac.be

            Language: French - Date: 2016-04-19 03:32:27
              37La faune des mares et des étangs de chez nous Activités conçues dans le cadre du Printemps des Sciences 2013 par les étudiants de 2ème BAC de l’École Normale Primaire HELMo Huy Activités organisées en collabora

              La faune des mares et des étangs de chez nous Activités conçues dans le cadre du Printemps des Sciences 2013 par les étudiants de 2ème BAC de l’École Normale Primaire HELMo Huy Activités organisées en collabora

              Add to Reading List

              Source URL: printemps-des-sciences.ulg.ac.be

              Language: French - Date: 2013-03-11 18:43:43
                38Glyph: Visualization Tool for Understanding Problem Solving Strategies in Puzzle Games Truong-Huy Dinh Nguyen, Magy Seif El-Nasr, Alessandro Canossa PLAIT Lab, College of Arts, Media, and Design, Northeastern University,

                Glyph: Visualization Tool for Understanding Problem Solving Strategies in Puzzle Games Truong-Huy Dinh Nguyen, Magy Seif El-Nasr, Alessandro Canossa PLAIT Lab, College of Arts, Media, and Design, Northeastern University,

                Add to Reading List

                Source URL: documents.brainquake.com

                Language: English - Date: 2015-12-13 20:13:38
                  39Preliminary CIGRE B4 DC Grid Test System: Modeling and Performances in HyperSim Philippe Le-Huy Expertise - Réseaux électriques et

                  Preliminary CIGRE B4 DC Grid Test System: Modeling and Performances in HyperSim Philippe Le-Huy Expertise - Réseaux électriques et

                  Add to Reading List

                  Source URL: www.etk.ee.kth.se

                  Language: English - Date: 2012-09-05 13:45:30
                    40Beyond Locality-Sensitive Hashing Alexandr Andoni1 Piotr Indyk2 Huy L. Nguy˜ên3 Ilya Razenshteyn2 1 Microsoft Research SVC

                    Beyond Locality-Sensitive Hashing Alexandr Andoni1 Piotr Indyk2 Huy L. Nguy˜ên3 Ilya Razenshteyn2 1 Microsoft Research SVC

                    Add to Reading List

                    Source URL: ilyaraz.org

                    Language: English - Date: 2014-02-22 11:12:28