61–80 von 217 Ergebnissen
|

    Automated Targeting for the MER Rovers

    Estlin, Tara / Castano, Rebecca / Bornstein, Benjamin et al. | IEEE | 2009
    instruments on the Mars Exploration Rover (MER) mission, which currently has two rovers exploring the surface of Mars. Targets for rover remote ...

    A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis

    Fijany, Amir / Barrett, Anthony / Vatan, Farrokh | IEEE | 2009
    on automatic control theory and statistical decision theory, and the other one, known as DX, which is based on artificial intelligence ...

    Title Page i

    IEEE | 2009

    The Lunar Laser Communications Demonstration (LLCD)

    Boroson, D. M. / Scozzafava, J. J. / Murphy, D. V. et al. | IEEE | 2009
    ground terminal on the Earth. Tosupport up to 622 Mbps over the approximately400 thousand kilometer link, the system will makeuse of a high peak ...

    A Case for Database Filesystems

    Adams, Philip A. / Hax, John C. | IEEE | 2009

    Rapid Prototyping of Planning & Scheduling Tools

    Cesta, Amedeo / Fratini, Simone / Donati, Alessandro et al. | IEEE | 2009

    Earned Value Management Software Projects

    Hanna, Robert A. | IEEE | 2009
    a four year period, producing 12 releases on their promised delivery dates and projects actual costs that were within 0.3% of the ...

    Author index

    IEEE | 2009

    An Exploration of Tiled Architectures for Space Applications

    Kogge, Peter M. / Vance, Megan | IEEE | 2009

    Autonomous Planning and Execution for a Future Titan Aerobot

    Gaines, Daniel / Estlin, Tara / Schaffer, Steve et al. | IEEE | 2009
    plan to respond to new science opportunities. Our technology leverages prior work on the OASIS system for autonomous rover exploration. In this ...

    Policy-Based Design of Human-Machine Collaboration in Manned Space Missions

    Diggelen, Jurriaan van / Bradshaw, Jeffrey M. / Grant, Tim et al. | IEEE | 2009

    Time and Space Partitioning in Spacecraft Avionics

    Windsor, James / Hjortnaes, Kjeld | IEEE | 2009
    , into the spacecraft avionics architecture to manage the growth of mission functions implemented in the on-board software. The paper addresses ...

    SKEYP: AI Applied to SOHO Keyhole Operations

    Policella, Nicola / Oliveira, Henrique / Siili, Tero | IEEE | 2009
    keyhole periods and the need to maximize the return of science data while respecting other constraints, such as limited on-board storage capacity ...

    Model Based Analysis and Test Generation for Flight Software

    Pasareanu, Corina S. / Schumann, Johann / Mehlitz, Peter et al. | IEEE | 2009
    analysis and test case generation that, to the best of our knowledge, have not been addressed before. The framework is based on a common ...

    Fault Detection and Isolation of a Cryogenic Rocket Engine Combustion Chamber Using a Parity Space Approach

    Gelder, Paul van / Bos, André | IEEE | 2009
    approach on a real-time platform and testing it against data from combustion chamber test runs. Future work needs to investigate the robustness of ...