161–180 of 19,521 hits
|

    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Enabling Autonomous Rover Science Through Dynamic Planning and Scheduling

    Estlin, T. / Gaines, D. / Chouinard, C. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Technical Challenges in Meeting the Next Decade's Planetary Protection Requirements

    Rummel, J. D. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Collaborative Risk Management for the Cassini-Huygens Probe Mission

    Witkowski, M. M. / Standley, S. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    An Interoperable Learning Architecture for the Modern Space Workforce

    Shrater, J. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Variance Analysis in Earned Value Measurements When Large Uncertainties Exist in Underlying Estimates

    Ruskin, A. M. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Distributed Mission Planning And Operations. Data Integration

    Popov, A. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Knowledge Centric Operations: Implications to Future Command and Control

    Phister, P. W. / Cherry, J. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Towards an Integrated Reasoner for Bearings Prognostics

    Goebel, K. / Bonanni, P. / Eklund, N. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Atypical Event and Typical Pattern Detection within Complex Systems

    Amidan, B. G. / Ferryman, T. A. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Condition-Based Monitoring of an Electro-Hydraulic System Using Open Software Architectures

    Chidambaram, B. / Gilbertson, D. D. / Keller, K. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Lifetime Control of Electromechanical Actuators

    Gokdere, L. U. / Chiu, S. L. / Keller, K. J. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified

    Smith, M. H. / Cucullu, G. C. / Smith, B. D. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Designing Autolanding Neuro-Controller Using PID and Optimal Strategies

    Izadi, H. / Pakmehr, M. / Moghaddam, M. M. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Augmentation of Military Satellites with High Altitude Balloons: A UHF Case Study

    Andrusenko, J. / Burbank, J. L. / Kasch, W. T. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Power Device Packaging Technologies for Extreme Environments

    Johnson, R. W. / Williams, J. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    An Improved Thermal Conductivity Polyurethane Composite for a Space Borne 20KV Power Supply

    Shapiro, A. A. / Haque, I. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Dim-star Tracking for Stellar Interferometry

    Sun, G. / Alvarez-Salazar, O. S. / Azizi, A. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    Sensor Data Fusion in a Simulated Sensor Environment

    Walquist, D. A. / IEEE | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE

    A Scalable Learning System for Video Recognition

    Porter, R. / Chakrabarti, C. / Harvey, N. et al. | British Library Conference Proceedings | 2005
    Keywords: IEEE aerospace , IEEE