Refinement

Results: 838



#Item
91

D-O LRT Project NCCU Station Refinement Hazardous Materials Memo

Add to Reading List

Source URL: ourtransitfuture.com

- Date: 2016-11-06 00:01:01
    92

    Integrating New Refinement Operators in Terminological Decision Trees Learning Giuseppe Rizzo1 , Nicola Fanizzi1 , Jens Lehmann2 , and Lorenz B¨uhmann3 1 2

    Add to Reading List

    Source URL: dl-learner.org

    - Date: 2016-10-11 13:59:12
      93

      Counter Example Guided Refinement CEGAR Mooly Sagiv Challenges

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2015-12-20 03:32:10
        94

        SHA054_swarm_refinement_11_cs6

        Add to Reading List

        Source URL: www.solarladen.de

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

          Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang, University of Washington https://www.usenix.org/conference/osdi16/technical-sessions/present

          Add to Reading List

          Source URL: www.usenix.org

            96

            Services for data integration, refinement, and visualization Biodiversity research analyzes and synthesizes taxonomic data from many sources. With BioVeL a researcher can use his own data or import data from libraries su

            Add to Reading List

            Source URL: www.biovel.eu

            - Date: 2013-09-29 04:19:40
              97

              INSERT REGARDING CURRENT AHRQ GUIDEANCE ON USING THE AHRQ QI FOR HOSPITAL PUBLIC REPORTING. Effective Date: December 2005 The following text in Refinement of the HCUP Quality Indicators regarding use of the AHRQ QI for h

              Add to Reading List

              Source URL: www.qualityindicators.ahrq.gov

              - Date: 2013-11-24 13:45:08
                98

                Asset Pricing when Traders Sell Extreme Winners and Losers Li An∗† November 27, 2014 Abstract This study investigates the asset pricing implications of a newly-documented refinement of

                Add to Reading List

                Source URL: www.columbia.edu

                - Date: 2014-11-27 03:16:39
                  99

                  Remote Sensing of Environment – 336 www.elsevier.com/locate/rse Classification of remotely sensed imagery using stochastic gradient boosting as a refinement of classification tree analysis Rick Lawrence a

                  Add to Reading List

                  Source URL: remotesensing.montana.edu

                  - Date: 2015-02-27 15:20:40
                    100

                    SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines Tsutomu Kobayashi1 , Aivar Kripsaar2 , Fuyuki Ishikawa3 and Shinichi Honiden1,3 1

                    Add to Reading List

                    Source URL: wiki.event-b.org

                    - Date: 2016-05-20 11:37:27
                      UPDATE