Colin

Results: 3574



#Item
121

Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan4 , Frank Tip5 , and Koushik Sen6 1 2

Add to Reading List

Source URL: manu.sridharan.net

- Date: 2018-02-03 20:39:22
    122

    Human Activity Detection from RGBD Images Jaeyong Sung and Colin Ponce and Bart Selman and Ashutosh Saxena Department of Computer Science Cornell University, Ithaca, NY 14850 , {cponce,selman,asaxena}@cs

    Add to Reading List

    Source URL: pr.cs.cornell.edu

    - Date: 2011-07-11 11:01:41
      123

      Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan3 , Frank Tip3 , and Koushik Sen4 1 2

      Add to Reading List

      Source URL: arxiv.org

      - Date: 2016-05-04 20:54:35
        124

        gnuplot 5.3 An Interactive Plotting Program Thomas Williams & Colin Kelley Version 5.3 organized by: Ethan A Merritt and many others Major contributors (alphabetic order): Christoph Bersch, Hans-Bernhard Br¨oker,

        Add to Reading List

        Source URL: www.gnuplot.info

        - Date: 2018-03-16 18:04:13
          125

          D´ej`a Fu: A Concurrency Testing Library for Haskell Michael Walker Colin Runciman University of York, UK

          Add to Reading List

          Source URL: www.barrucadu.co.uk

          - Date: 2018-03-17 08:00:14
            126

            Search Party: a Haskell library for speculative parallelism in generate-and-test searches Extended Abstract Michael Walker Colin Runciman

            Add to Reading List

            Source URL: www.barrucadu.co.uk

            - Date: 2018-03-17 08:00:14
              127

              Digital Inclusion Outcomes-Based Evaluation This report was written by Colin Rhinesmith, Assistant Professor at Simmons College, and Angela Siefer, Director of the National Digital Inclusion Alliance, and published by t

              Add to Reading List

              Source URL: www.benton.org

              - Date: 2017-10-29 17:09:36
                128

                OUR CAUSE A Letter to America Alma J. Powell, Chair General Colin L. Powell, USA (Ret.), Founding Chair America’s Promise Alliance

                Add to Reading List

                Source URL: recommit2kids.americaspromise.org

                - Date: 2017-07-18 03:06:14
                  129

                  SpringLISSocial Informatics FACULTY INFORMATION Colin Rhinesmith, Assistant Professor

                  Add to Reading List

                  Source URL: crhinesmith.com

                  - Date: 2018-01-14 08:43:49
                    130

                    Cheap Remarks about Concurrent Programs Michael Walker and Colin Runciman University of York, UK {msw504, colin.runciman}@york.ac.uk Abstract. We present CoCo, the Concurrency Commentator, a tool

                    Add to Reading List

                    Source URL: www.barrucadu.co.uk

                    - Date: 2018-03-17 08:00:14
                      UPDATE