Modal

Results: 2914



#Item
61

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
    62

    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
      63

      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
        64

        Categorical Models for Two Intuitionistic Modal Logics Wolfgang

        Add to Reading List

        Source URL: cs.ioc.ee

        - Date: 2012-05-12 14:36:21
          65

          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
            66

            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
              67

              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
                68

                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
                  69

                  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
                    70

                    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
                      UPDATE