Modal

Results: 2914



#Item
61Towards a Gesture-Sound Cross-Modal Analysis Baptiste Caramiaux, Fr´ed´eric Bevilacqua, and Norbert Schnell Real Time Musical Interactions Team IRCAM, CNRS - STMS, 1 Place Igor Stravinsky, 75004 PARIS, France {baptiste

Towards a Gesture-Sound Cross-Modal Analysis Baptiste Caramiaux, Fr´ed´eric Bevilacqua, and Norbert Schnell Real Time Musical Interactions Team IRCAM, CNRS - STMS, 1 Place Igor Stravinsky, 75004 PARIS, France {baptiste

Add to Reading List

Source URL: articles.ircam.fr

- Date: 2009-12-14 10:01:15
    62Chapter 1 MODAL LOGICS OF SPACE Johan van Benthem Universities of Amsterdam & Stanford Guram Bezhanishvili

    Chapter 1 MODAL LOGICS OF SPACE Johan van Benthem Universities of Amsterdam & Stanford Guram Bezhanishvili

    Add to Reading List

    Source URL: www.illc.uva.nl

    - Date: 2006-01-26 09:01:04
      63Workshop on Virtual Reality Interaction and Physical Simulation VRIPHYSF. Jaillet, G. Zachmann, and F. Zara (Editors) Level-of-Detail Modal Analysis for Real-time Sound Synthesis Dominik Rausch1,2 and Bernd Hents

      Workshop on Virtual Reality Interaction and Physical Simulation VRIPHYSF. Jaillet, G. Zachmann, and F. Zara (Editors) Level-of-Detail Modal Analysis for Real-time Sound Synthesis Dominik Rausch1,2 and Bernd Hents

      Add to Reading List

      Source URL: vr.rwth-aachen.de

      - Date: 2016-07-07 01:25:16
        64Categorical Models for Two Intuitionistic Modal Logics Wolfgang

        Categorical Models for Two Intuitionistic Modal Logics Wolfgang

        Add to Reading List

        Source URL: cs.ioc.ee

        - Date: 2012-05-12 14:36:21
          65OP 17: Employee Commute Modal Split  2 points available  A. Credit Rationale  This credit recognizes institutions where employees use preferable modes of transportation to travel to and  from 

          OP 17: Employee Commute Modal Split  2 points available  A. Credit Rationale  This credit recognizes institutions where employees use preferable modes of transportation to travel to and  from 

          Add to Reading List

          Source URL: www.aashe.org

          - Date: 2016-05-16 12:49:42
            66Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010

            Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2010-01-15 13:49:06
              67Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

              Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

              Add to Reading List

              Source URL: www.cs.cmu.edu

              - Date: 2010-02-11 11:26:12
                68A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France

                A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2016-06-12 16:01:25
                  69Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

                  Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2015-10-19 12:38:16
                    70Modal Interface Automata Gerald Lüttgen Universität Bamberg TCS 2012 Amsterdam

                    Modal Interface Automata Gerald Lüttgen Universität Bamberg TCS 2012 Amsterdam

                    Add to Reading List

                    Source URL: www.ips.tu-braunschweig.de

                    - Date: 2013-08-13 02:39:13