Karlsruhe

Results: 4737



#Item
341

A Flexible and Efficient ML Lexer Tool based on Extended Regular Expression Submatching Martin Sulzmann? and Pippijn van Steenhoven?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Lexical analysis has many app

Add to Reading List

Source URL: www.home.hs-karlsruhe.de

- Date: 2014-02-13 06:21:51
    342

    Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

    Add to Reading List

    Source URL: www.home.hs-karlsruhe.de

    - Date: 2013-03-29 18:22:29
      343

      Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

      Add to Reading List

      Source URL: www.home.hs-karlsruhe.de

      - Date: 2014-02-23 03:34:16
        344

        Stephan Bergmann¹, Mahsa Mohammadikaji¹, Stephan Irgenfried¹, Heinz Wörn¹, Jürgen Beyerer¹,², Carsten Dachsbacher¹ ¹Karlsruhe Institute of Technology ²Fraunhofer Institute of Optronics, System Technologies and

        Add to Reading List

        Source URL: cg.ivd.kit.edu

        - Date: 2016-10-13 05:17:41
          345

          A Computational Interpretation of Context-Free Expressions Martin Sulzmann1 and Peter Thiemann2 1 Faculty of Computer Science and Business Information Systems

          Add to Reading List

          Source URL: www.home.hs-karlsruhe.de

          - Date: 2017-09-25 07:37:16
            346

            AUGENHÖHE in Karlsruhe - Film-Premiere und Dialog Amist es endlich so weit – der AUGENHÖHE-Film kommt nach Karlsruhe! Wir möchten die Menschen aus Karlsruhe und Umgebung zusammenbringen, die sich folgend

            Add to Reading List

            Source URL: augenhoeheka.files.wordpress.com

            - Date: 2015-01-22 15:14:59
              347

              IEEE International Conference on Robotics and Automation (ICRA), Karlsruhe, Germany, MayMobile Bin Picking with an Anthropomorphic Service Robot Matthias Nieuwenhuisen1 , David Droeschel1 , Dirk Holz1 , J¨org St

              Add to Reading List

              Source URL: ais.uni-bonn.de

              - Date: 2013-02-17 11:40:50
                348

                Practical Epistemic Entailment Checking in SROIQ Anees Mehdi and Sebastian Rudolph Institute AIFB, Karlsruhe Institute of Technology, DE {anees.mehdi,sebastian.rudolph}@kit.edu

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2011-06-26 10:21:13
                  349

                  Qmail in the FreeBSD Universe Renato Botelho, Erwin Hoffmann EuroBSDCon Karlsruhe/Germany October

                  Add to Reading List

                  Source URL: 2010.eurobsdcon.org

                  - Date: 2010-12-11 13:16:03
                    350

                    The alternative Machine Paradigm for Energy-Efficient Computing Reiner Hartenstein, TU Kaiserslautern and KIT Karlsruhe IEEE fellow, SDPS fellow, FPL fellow Abstract. We are facing an unaffordable growing energyineffici

                    Add to Reading List

                    Source URL: xputers.informatik.uni-kl.de

                    - Date: 2016-08-18 07:36:28
                      UPDATE