Algorithm

Results: 17634



#Item
471

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette

Add to Reading List

Source URL: people.mpi-inf.mpg.de

- Date: 2015-01-25 16:18:54
    472

    A 7/3-Approximation Algorithm for Cluster Vertex Deletion Samuel Fiorini1 , Gwena¨el Joret2 , and Oliver Schaudt3 1 D´epartement de Math´ematique, Universit´e libre de Bruxelles, Brussels, Belgium,

    Add to Reading List

    Source URL: www.zaik.uni-koeln.de

    - Date: 2015-11-24 08:48:48
      473

      AquaMaps: Algorithm and Data Sources for Aquatic Organisms AquaMaps for Marine Species AquaMaps is a tool for generating model-based, large-scale predictions of natural occurrences of species. For marine species, the mod

      Add to Reading List

      Source URL: www.aquamaps.org

      - Date: 2016-02-23 05:02:22
        474

        ISSN 1392–124X INFORMATION TECHNOLOGY AND CONTROL, 2015 Vol. 41, No. 1, 1–0 Performance and Energy Optimization of the Terasort Algorithm by Task Self-Resizing Jie Song1 , Shu Xu1 , Li Zhang1 , Claus Pahl3 , Ge Yu2

        Add to Reading List

        Source URL: doras.dcu.ie

        - Date: 2015-02-20 12:07:19
          475

          2004 ACM Symposium on Applied Computing A parallel algorithm for the extraction of structured motifs Alexandra M. Carvalho Ana T. Freitas

          Add to Reading List

          Source URL: pbil.univ-lyon1.fr

          - Date: 2008-10-22 02:35:21
            476

            Description of Known Answer Test (KAT) and Monte Carlo Test (MCT) for SHA-3 Candidate Algorithm Submissions

            Add to Reading List

            Source URL: csrc.nist.gov

            - Date: 2012-06-20 11:12:16
              477

              What I Graded On I took off one or more points for, in decreasing importance: • Incorrect algorithm • No algorithm description • Inefficient code (repeated identical calls to functions, unnecessary construction of

              Add to Reading List

              Source URL: cs.northwestern.edu

              - Date: 2008-07-08 18:15:23
                478

                A Syllabification algorithm and syllable statistics of written Uyghur

                Add to Reading List

                Source URL: ucrel.lancs.ac.uk

                - Date: 2007-11-05 07:01:47
                  479

                  Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal Running ? Kaveh Akbari Hamed ∗ Jessy W. Grizzle ∗∗ ∗

                  Add to Reading List

                  Source URL: web.eecs.umich.edu

                  - Date: 2016-04-25 13:15:11
                    480

                    Microsoft Word - Research Passport Algorithm of Research Activity a

                    Add to Reading List

                    Source URL: www.psy.ed.ac.uk

                    - Date: 2012-03-08 06:52:32
                      UPDATE