Aachen

Results: 4166



#Item
411

Modeling Online Presence Milan Stankovic Université Paris-Sud XIOrsay cedex +

Add to Reading List

Source URL: ftp.informatik.rwth-aachen.de

- Date: 2008-09-23 14:35:22
    412

    Aachen Department of Computer Science Technical Report Proving Termination of Programs with Bitvector Arithmetic by

    Add to Reading List

    Source URL: sunsite.informatik.rwth-aachen.de

    - Date: 2016-04-24 15:44:34
      413

      Applying Prolog to Semantic Web Ontologies & Rules Moving Toward Description Logic Programs K. Samuel1, L. Obrst1, S. Stoutenburg2, K. Fox2, P. Franklin2, A. Johnson2, K. Laskey2, D. Nichols1, S. Lopez2, J. Peterson2 The

      Add to Reading List

      Source URL: sunsite.informatik.rwth-aachen.de

      - Date: 2006-08-19 11:35:39
        414

        Correlating Sub-Phenomena in Performance Data in the Frequency Domain Tom Vierjahn1,4, Marc-André Hermanns3,4, Bernd Mohr3,4, Matthias S. Müller2,4, Torsten W. Kuhlen1,4, Bernd Hentschel1,4 1 Visual Computing Institute

        Add to Reading List

        Source URL: vr.rwth-aachen.de

        - Date: 2016-10-19 11:39:41
          415

          Eurographics Conference on Visualization (EuroVis), Posters TrackT. Isenberg and F. Sadlo (Guest Editors) Tracking Space-Filling Features by Two-Step Optimization A. Schnorr, S. Freitag, T. W. Kuhlen and B. Hents

          Add to Reading List

          Source URL: vr.rwth-aachen.de

          - Date: 2016-06-16 10:19:06
            416

            Aachen Department of Computer Science Technical Report Automated Termination Analysis for Logic Programs with Cut

            Add to Reading List

            Source URL: sunsite.informatik.rwth-aachen.de

            - Date: 2010-05-14 08:40:08
              417

              Semantic Data Integration and Registration: Application to heterogeneous atmosphere and volcanic data sources. Deborah McGuinness Peter Fox

              Add to Reading List

              Source URL: ftp.informatik.rwth-aachen.de

              - Date: 2008-09-23 14:36:30
                418

                Aachen Department of Computer Science Technical Report Automated Termination Proofs for Java Programs with Cyclic Data

                Add to Reading List

                Source URL: sunsite.informatik.rwth-aachen.de

                - Date: 2012-05-22 07:43:15
                  419

                  Aachen Department of Computer Science Technical Report Automated Detection of Non-Termination and

                  Add to Reading List

                  Source URL: sunsite.informatik.rwth-aachen.de

                  - Date: 2011-09-12 12:28:07
                    420

                    A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

                    Add to Reading List

                    Source URL: www-i2.informatik.rwth-aachen.de

                    - Date: 2006-10-23 09:28:13
                      UPDATE