INESC-ID

Results: 423



#Item
5139th International Symposium on Multiple-Valued Logic Regular Encodings from Max-CSP into Partial Max-SAT∗ Josep Argelich INESC-ID

39th International Symposium on Multiple-Valued Logic Regular Encodings from Max-CSP into Partial Max-SAT∗ Josep Argelich INESC-ID

Add to Reading List

Source URL: www.mancoosi.org

- Date: 2012-12-16 04:54:55
    52Sócrates com twitosfera mais favorável no arranque da campanha - Notícias SAPO - Especial Eleições Legislativas 2011

    Sócrates com twitosfera mais favorável no arranque da campanha - Notícias SAPO - Especial Eleições Legislativas 2011

    Add to Reading List

    Source URL: dmir.inesc-id.pt

    - Date: 2011-09-08 13:30:42
      53REX - A TOOL FOR DISCOVERING EVOLUTION TRENDS IN ONTOLOGY REGIONS VICTOR CHRISTEN, ANIKA GROSS, MICHAEL HARTUNG 18TH JULY 2014, DILS, LISBOA

      REX - A TOOL FOR DISCOVERING EVOLUTION TRENDS IN ONTOLOGY REGIONS VICTOR CHRISTEN, ANIKA GROSS, MICHAEL HARTUNG 18TH JULY 2014, DILS, LISBOA

      Add to Reading List

      Source URL: dils2014.inesc-id.pt

      - Date: 2016-07-28 13:21:48
        54Workshop on Transactional Memory April 10, 2012 LLNL-PRESThis work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under contract

        Workshop on Transactional Memory April 10, 2012 LLNL-PRESThis work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under contract

        Add to Reading List

        Source URL: www.gsd.inesc-id.pt

        - Date: 2012-04-18 12:46:09
          55Efficient Hybrid DCT-Domain Algorithm for Video Spatial Downscaling

          Efficient Hybrid DCT-Domain Algorithm for Video Spatial Downscaling

          Add to Reading List

          Source URL: www.inesc-id.pt

          - Date: 2007-09-04 04:11:22
            56Euro-TM Workshop in Transactional Memory (WTMBern, Switzerland April 10, 2012 Leveraging Transactional Memory to

            Euro-TM Workshop in Transactional Memory (WTMBern, Switzerland April 10, 2012 Leveraging Transactional Memory to

            Add to Reading List

            Source URL: www.gsd.inesc-id.pt

            - Date: 2012-04-18 12:46:08
              57SIGNAL PROCESSING LETTERS, VOL. , NO. , MONTH YEAR 1 Auxiliary Noise Power Scheduling Algorithm for Active Noise Control with On-line Secondary Path

              SIGNAL PROCESSING LETTERS, VOL. , NO. , MONTH YEAR 1 Auxiliary Noise Power Scheduling Algorithm for Active Noise Control with On-line Secondary Path

              Add to Reading List

              Source URL: www.inesc-id.pt

              - Date: 2015-07-20 06:03:05
                58This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar

                This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar

                Add to Reading List

                Source URL: www.inesc-id.pt

                - Date: 2012-10-12 04:27:32
                  59REX – a tool for discovering evolution trends in ontology regions Victor Christen1 , Anika Groß1,2 , and Michael Hartung1,2 1 2

                  REX – a tool for discovering evolution trends in ontology regions Victor Christen1 , Anika Groß1,2 , and Michael Hartung1,2 1 2

                  Add to Reading List

                  Source URL: dils2014.inesc-id.pt

                  - Date: 2016-07-28 13:23:20