Declarative

Results: 769



#Item
21

Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    22

    No Registration Needed: How to Use Declarative Policies and Negotiation to Access Sensitive Resources on the Semantic Web Rita Gavriloaie1 , Wolfgang Nejdl1 , Daniel Olmedilla1 , Kent E. Seamons2 , and Marianne Winslett3

    Add to Reading List

    Source URL: www.l3s.de

    - Date: 2012-07-07 19:14:42
      23

      Declarative Systems for Large-Scale Machine Learning Vinayak Borkar1 , Yingyi Bu1 , Michael J. Carey1 , Joshua Rosen2 , Neoklis Polyzotis2 , Tyson Condie3 , Markus Weimer3 and Raghu Ramakrishnan3 1 University of Californ

      Add to Reading List

      Source URL: asterix.ics.uci.edu

      - Date: 2016-09-16 22:05:25
        24

        Hybrid In-Database Inference for Declarative Information Extraction Daisy Zhe Wang Michael J. Franklin

        Add to Reading List

        Source URL: amplab.cs.berkeley.edu

        - Date: 2017-09-12 18:46:04
          25

          Declarative Rules for Annotated Expert Knowledge in Change Management Dietmar Seipel1 , Rüdiger von der Weth2 , Salvador Abreu3 , Falco Nogatz4 , and Alexander Werner5 1

          Add to Reading List

          Source URL: drops.dagstuhl.de

          - Date: 2016-06-20 06:38:07
            26

            Declarative Networking Boon Thau Loo Tyson Condie Minos Garofalakis David E. Gay Joseph M. Hellerstein Petros Maniatis Raghu Ramakrishnan Timothy Roscoe Ion Stoica University of California-Berkeley University of Pennsylv

            Add to Reading List

            Source URL: www.cis.upenn.edu

            - Date: 2009-09-16 08:57:41
              27

              Towards a Declarative Language and System for Secure Networking ∗ Mart´ın Abadi∗† and Boon Thau Loo‡∗ Microsoft Research † UC Santa Cruz ‡ University of Pennsylvania

              Add to Reading List

              Source URL: www.cis.upenn.edu

              - Date: 2007-03-14 07:34:53
                28

                1 Verifying A-Priori the Composition of Declarative Specified Services. Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2009-08-13 03:06:16
                  29

                  DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING & COLLEGE OF INFORMATION SCIENCES AND TECHNOLOGY THE PENNSYLVANIA STATE UNIVERSITY An Initial Evaluation of the D2P/MTT, a Computer-Based, Declarative to Procedural (D2P) Th

                  Add to Reading List

                  Source URL: acs.ist.psu.edu

                  - Date: 2013-12-17 14:14:08
                    UPDATE