Pelican

Results: 740



#Item
101Appears in 3rd International NASA Workshop on Planning and Scheduling for Space October 27-29, 2002; Houston, TX Building Coordinated Real-Time Control Plans David J. Musliner, Michael J.S. Pelican, Kurt D. Krebsbach∗

Appears in 3rd International NASA Workshop on Planning and Scheduling for Space October 27-29, 2002; Houston, TX Building Coordinated Real-Time Control Plans David J. Musliner, Michael J.S. Pelican, Kurt D. Krebsbach∗

Add to Reading List

Source URL: musliner.com

Language: English
    102A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401

    A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401

    Add to Reading List

    Source URL: musliner.com

    Language: English - Date: 2012-06-04 12:12:39
      103LITERARY FESTIVAL KITCHEN The Peckham Pelican 12–18 October 2015

      LITERARY FESTIVAL KITCHEN The Peckham Pelican 12–18 October 2015

      Add to Reading List

      Source URL: www.literarykitchen.co.uk

      Language: English - Date: 2015-09-06 17:01:40
      104Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@sift

      Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@sift

      Add to Reading List

      Source URL: www-vvps09.imag.fr

      Language: English - Date: 2009-08-25 03:10:48
        105Appears in Working Notes of the 2nd Workshop on Real-Time Tools August 1, 2002, Copenhagen, Denmark Veri er Trace-Directed Backjumping for Controller Synthesis Robert P. Goldman, Michael J. S. Pelican, David J. Musliner

        Appears in Working Notes of the 2nd Workshop on Real-Time Tools August 1, 2002, Copenhagen, Denmark Veri er Trace-Directed Backjumping for Controller Synthesis Robert P. Goldman, Michael J. S. Pelican, David J. Musliner

        Add to Reading List

        Source URL: musliner.com

        Language: English - Date: 2008-12-19 05:47:52
          106Roasted Garlic Hummus Topped with kalamata olives and finished with olive oil. Served with deep fried pita chips. ~ 8.00 Add extra pita chips. ~ 3.00 Pelican Potato Skins (5)

          Roasted Garlic Hummus Topped with kalamata olives and finished with olive oil. Served with deep fried pita chips. ~ 8.00 Add extra pita chips. ~ 3.00 Pelican Potato Skins (5)

          Add to Reading List

          Source URL: kbbrewing.com

          Language: English - Date: 2016-03-02 02:28:09
          107Self-Adaptation Metrics for Active Cybersecurity David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael W. Boldt, Michael Pelican Smart Information Flow Technologies (SIFT) Minneapolis, MN, USA Email:

          Self-Adaptation Metrics for Active Cybersecurity David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael W. Boldt, Michael Pelican Smart Information Flow Technologies (SIFT) Minneapolis, MN, USA Email:

          Add to Reading List

          Source URL: musliner.com

          Language: English - Date: 2013-10-14 14:54:28
            10825216 Pelican Creek Circle #103, Bonita Springs, FL8085 • www.accbd.org Vol. 14 • No.6 Winter 2012 • Beth Hagan, Ph.D, Editor 12 Annual International

            25216 Pelican Creek Circle #103, Bonita Springs, FL8085 • www.accbd.org Vol. 14 • No.6 Winter 2012 • Beth Hagan, Ph.D, Editor 12 Annual International

            Add to Reading List

            Source URL: www.accbd.org

            Language: English - Date: 2012-12-06 22:24:33
              109AGENDA BOARD OF LICENSE COMMISSIONERS July 15, 2015 1:00 - Application for a Class “B” B/W/L 7 Day License *POSTPONED - AUGUST* T/A: Parched Pelican

              AGENDA BOARD OF LICENSE COMMISSIONERS July 15, 2015 1:00 - Application for a Class “B” B/W/L 7 Day License *POSTPONED - AUGUST* T/A: Parched Pelican

              Add to Reading List

              Source URL: www.co.worcester.md.us

              Language: English
                110RACK RATES US$ November 15, 2014 – November 14, 2015 PELICAN BEACH RESORT – Dangriga Inland Gateway At mainland, Pelican Beach Resort, Dangriga Caribbean Sea front location you will find:

                RACK RATES US$ November 15, 2014 – November 14, 2015 PELICAN BEACH RESORT – Dangriga Inland Gateway At mainland, Pelican Beach Resort, Dangriga Caribbean Sea front location you will find:

                Add to Reading List

                Source URL: www.pelicanbeachbelize.com

                Language: English - Date: 2014-10-06 12:35:42