Refinement

Results: 838



#Item
81

SHA054_swarm_refinement_11_cs6

Add to Reading List

Source URL: www.solarladen.de

- Date: 2016-10-12 04:02:10
    82

    D-O LRT Project NCCU Station Refinement Travel Demand Methodology and Results

    Add to Reading List

    Source URL: ourtransitfuture.com

    - Date: 2016-11-06 00:00:03
      83

      Data Mining and Knowledge Discovery, 9, 59–87, 2004 c 2004 Kluwer Academic Publishers. Manufactured in The Netherlands.  Mining GPS Traces for Map Refinement STEFAN SCHROEDL

      Add to Reading List

      Source URL: www.wkiri.com

      - Date: 2007-04-08 00:42:04
        84

        A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA

        Add to Reading List

        Source URL: people.mpi-sws.org

        - Date: 2016-10-22 08:05:55
          85

          D-O LRT Project NCCU Station Refinement Visual and Aesthetic

          Add to Reading List

          Source URL: ourtransitfuture.com

          - Date: 2016-11-06 00:00:43
            86

            D-O LRT Project NCCU Station Refinement Resources with No Impacts

            Add to Reading List

            Source URL: ourtransitfuture.com

            - Date: 2016-11-06 00:00:02
              87

              Abstraction Refinement for Ontology Materialization Birte Glimm1 , Yevgeny Kazakov1 , Thorsten Liebig2 , Trung-Kien Tran1 , and Vincent Vialard2 1 University of Ulm, Ulm, Germany, .@uni-ulm.de

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2014-07-07 10:05:50
                88

                Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel, and Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh PA 15213, USA

                Add to Reading List

                Source URL: symbolaris.com

                - Date: 2014-08-04 10:11:08
                  89

                  D-O LRT Project NCCU Station Refinement Natural Resources Memo

                  Add to Reading List

                  Source URL: ourtransitfuture.com

                  - Date: 2016-11-06 00:00:55
                    90

                    Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation Bernhard K. Aicherniga , Elisabeth J¨obstlb , Martin Tapplera a Graz

                    Add to Reading List

                    Source URL: www.ist.tugraz.at

                    - Date: 2016-08-05 09:23:18
                      UPDATE