Benjamin

Results: 8859



#Item
421

Engineering Formal Metatheory Brian Aydemir Arthur Chargu´eraud Benjamin C. Pierce

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2008-05-19 22:45:19
    422

    clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    - Date: 2007-03-07 07:31:05
      423

      Dannel P. Malloy Governor Office of Policy and Management Benjamin Barnes, Secretary

      Add to Reading List

      Source URL: assets.documentcloud.org

      - Date: 2016-10-25 09:50:46
        424

        Finding Relevant Relations in Relevant Documents Michael Schuhmacher1 , Benjamin Roth2 , Simone Paolo Ponzetto1 , and Laura Dietz1 1 2

        Add to Reading List

        Source URL: ub-madoc.bib.uni-mannheim.de

        - Date: 2016-10-07 01:33:38
          425

          Benjamin A. Lyons Martin Fishbein Postdoctoral Fellow Annenberg Center for Advanced Study in Communication Annenberg Public Policy Center, University of Pennsylvania. | (

          Add to Reading List

          Source URL: cdn.annenbergpublicpolicycenter.org

          - Date: 2016-07-14 08:58:02
            426

            The Conflict-Driven Answer Set Solver clasp: Progress Report Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We sum

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            - Date: 2009-07-06 04:21:06
              427

              Formalising the Swedish Constructicon in Grammatical Framework Normunds Gruzitis1 Dana Dann´ells2 Benjamin Lyngfelt2 Aarne Ranta1 1 Department of Computer Science and Engineering 2 Department of Swedish

              Add to Reading List

              Source URL: www.aclweb.org

              - Date: 2015-07-25 01:15:05
                428

                Cutting Out the Middleman: OS-Level Support for X10 Activities Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann Chair for Programming Paradigms, Karlsr

                Add to Reading List

                Source URL: x10.sourceforge.net

                - Date: 2015-06-14 16:45:58
                  429

                  Conflict-Driven Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andr´e Neumann and Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14439 Potsdam, Germany Abstract

                  Add to Reading List

                  Source URL: www.cs.uni-potsdam.de

                  - Date: 2008-03-06 05:55:32
                    UPDATE