Abstract

Results: 68258



#Item
981

Motivation A combined abstract domain for lists Analysis of list-manipulating programs Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions

Add to Reading List

Source URL: lqchen.github.io

Language: English - Date: 2018-08-14 11:59:25
    982

    Timed automata A determinization procedure The abstract procedure applied

    Add to Reading List

    Source URL: people.rennes.inria.fr

    Language: English - Date: 2012-09-28 09:53:23
      983

      Robotics Education Initiative for Parent-Children Interaction Francisco Cuellar1 , Christian Penaloza2 , and Gustavo Kato1 Abstract— This paper presents a preliminary analysis of the first robotics education workshop i

      Add to Reading List

      Source URL: www.christian-penaloza.com

      Language: English - Date: 2014-12-17 19:54:23
        984

        Title of the abstract in Arial, 14pts, bold, centered Presenting Author1, Second Author2, Third Author3 1Affiliation, City, Country 2Affiliation, City, Country 3Affiliation, City, Country Text: Arial 10 pts, line spacing

        Add to Reading List

        Source URL: www.jgm2017.rwth-aachen.de

        - Date: 2017-05-03 07:54:56
          985

          VLBA Sensitivity Upgrade Memo 45 Testing the Goddard Calc 11 Delay Model at the VLBA W. Max-Moerbeck1,2 and W. Brisken1 ABSTRACT We describe the results of a series of tests designed to verify the performance of a new d

          Add to Reading List

          Source URL: library.nrao.edu

          Language: English
            986

            TRIVIAL AUTOMORPHISMS ILIJAS FARAH AND SAHARON SHELAH Abstract. We prove that the statement ‘For all Borel ideals I and J on ω, every isomorphism between Boolean algebras P(ω)/I and P(ω)/J has a continuous represent

            Add to Reading List

            Source URL: www.math.yorku.ca

            Language: English - Date: 2013-04-30 18:25:58
              987

              CES Working Papers – Volume VIII, Issue 1 O.S.C.EYEARS OF PEACEFUL CONFLICT RESOLUTION Daniel BURLACU* Abstract: The European Union, in light of developments in the field of crisis-management concepts

              Add to Reading List

              Source URL: ceswp.uaic.ro

              Language: English - Date: 2016-03-24 05:31:17
                988

                Designing a NoException Library Using Code Contracts Erik Dietrich Anu Pardeshi John Svitek Abstract

                Add to Reading List

                Source URL: www.daedtech.com

                Language: English
                  989

                  Dynamic Collaboration without Communication: Vision-Based Cable-Suspended Load Transport with Two Quadrotors Michael Gassner, Titus Cieslewski and Davide Scaramuzza Abstract— Transport of objects is a major application

                  Add to Reading List

                  Source URL: rpg.ifi.uzh.ch

                  Language: English - Date: 2017-02-24 05:05:14
                    UPDATE