Karlsruhe

Results: 4737



#Item
361

A Conflict-based Operator for Mapping Revision? Guilin Qi, Qiu Ji, Peter Haase Institute AIFB, University of Karlsruhe, Germany {gqi,qiji,pha}@aifb.uni-karlsruhe.de

Add to Reading List

Source URL: ceur-ws.org

- Date: 2009-07-07 04:46:34
    362

    HMDB: A Large Video Database for Human Motion Recognition H. Kuehne Karlsruhe Instit. of Tech. Karlsruhe, Germany H. Jhuang E. Garrote T. Poggio

    Add to Reading List

    Source URL: serre-lab.clps.brown.edu

    - Date: 2013-10-02 22:53:00
      363

      Universit¨at Karlsruhe (TH) EnglerstrKarlsruhe Mathematisches Institut II

      Add to Reading List

      Source URL: www.math.kit.edu

      - Date: 2015-11-10 14:19:11
        364

        FzVo-0997_Anzeige_Starker Aftritt_RZ-zw.indd

        Add to Reading List

        Source URL: www.kammertheater-karlsruhe.de

        - Date: 2016-07-28 06:06:27
          365

          Universit¨at Karlsruhe (TH) EnglerstrKarlsruhe Institut f¨

          Add to Reading List

          Source URL: www.math.kit.edu

          - Date: 2015-11-10 14:19:11
            366

            SSWSCumulusRDF: Linked Data Management on Nested Key-Value Stores G¨unter Ladwig and Andreas Harth Institute AIFB, Karlsruhe Institute of Technology

            Add to Reading List

            Source URL: iswc2011.semanticweb.org

            - Date: 2011-09-19 06:53:37
              367

              Umfrage zu Verbreitung und Einsatz modellgetriebener Softwareentwicklung - Abschlussbericht - Durchgeführt von der Generative Software GmbH und dem FZI Forschungszentrum Informatik, Karlsruhe

              Add to Reading List

              Source URL: www.mdsd-umfrage.de

              - Date: 2010-06-10 07:00:41
                368

                Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

                Add to Reading List

                Source URL: formal.iti.kit.edu

                - Date: 2014-03-13 08:30:05
                  369

                  Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

                  Add to Reading List

                  Source URL: i12www.iti.kit.edu

                  - Date: 2009-01-05 04:34:04
                    UPDATE