|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 240 occurrences of 200 keywords
|
|
|
Results
Found 2280 publication records. Showing 2280 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
103 | Dan Yu, Gang Ye, Shilong Ma, Naixue Xiong, Laurence Tianruo Yang |
The Spacecraft Automatic Testing System Based on Workflow. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
91 | Mohammad Azim Karami, Farrokh Sassani |
Spacecraft momentum dumping using less than three external control torques. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
80 | Ryohei Fujimaki, Takehisa Yairi, Kazuo Machida |
An approach to spacecraft anomaly detection problem using kernel feature space. |
KDD |
2005 |
DBLP DOI BibTeX RDF |
kernel feature space, spacecraft, von Mises Fisher distribution, principal component analysis, anomaly detection, time series data |
80 | Abdelkader Abdessameud, Abdelhamid Tayebi 0001 |
Attitude synchronization of a spacecraft formation without velocity measurement. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
80 | Rebecca Castaño, Kiri Wagstaff, Steve A. Chien, Timothy M. Stough, Benyang Tang |
On-board analysis of uncalibrated data for a spacecraft at mars. |
KDD |
2007 |
DBLP DOI BibTeX RDF |
on-board data mining, real-time data analysis, resource-constrained computing, lessons learned |
80 | Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang |
Research on methods to simulate spacecraft systems. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
80 | Rebecca Castaño, Dominic Mazzoni, Nghia Tang, Ronald Greeley, Thomas Doggett, Benjamin Cichy, Steve A. Chien, Ashley Davies |
Onboard classifiers for science event detection on a remote sensing spacecraft. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
constrained processing environment, classification, support vector machine |
69 | Xiong Luo, Zengqi Sun, Xiang Zhang, Laihong Hu, Chao Wang |
Hybrid EDA-based optimal attitude control for a spacecraft in a class of control task. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
spacecraft, optimization, control, differential evolution, estimation of distribution |
69 | T. Crytser, Gora Chand Nandi, Elaine M. Hinman-Sweeney, Suren N. Dwivedi, Patrick A. Tobbe, D. W. Lyons |
Finite element design of manipulator-coupled spacecraft for a research testbed. |
J. Intell. Robotic Syst. |
1995 |
DBLP DOI BibTeX RDF |
Harmonic drives, Manipulator-Coupled Spacecraft, Control Moment Gyro, Lagrangian Equations of Motion, Finite Element Analysis |
68 | Leon Alkalai, Wai-Chi Fang |
An integrated microspacecraft avionics architecture using 3D multichip module building blocks. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
integrated microspacecraft avionics architecture, 3D multichip module building blocks, continued miniaturization, spacecraft electronics, building-block elements, stackable multichip module 3D-architecture, module testing, spacecraft avionics system, Deep-Space One asteroid-flyby mission, Jet propulsion Laboratory, operating systems, software development environments, system reliability, avionics, avionics system |
58 | David Kortenkamp, R. Peter Bonasso, Debra Schreckenghost |
Procedures as a Gateway to Spacecraft Autonomy. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
58 | Michael R. Lowry, Klaus Havelund, John Penix |
Verification and Validation of AI Systems that Control Deep-Space Spacecraft. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
|
57 | Tomohisa Hayakawa, Gajamohan Mohanarajah |
Attitude consensus with fixed rotational axis via energy dissipation. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Bradley J. Clement, Steve R. Schaffer |
Distributed network scheduling. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
rover, scheduling, network, space, mars |
46 | Aranya Chakrabortty, Murat Arcak, Panagiotis Tsiotras |
Robust design of a spacecraft attitude tracking control system with actuator uncertainties. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Shuang Li 0004 |
Computer Vision Based Autonomous Navigation for Pin-Point Landing Robotic Spacecraft on Asteroids. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
pinpoint landing, computer vision, autonomous navigation |
46 | Ndedi D. Monekosso, Paolo Remagnino |
Autonomous Spacecraft Resource Management: A Multi-agent Approach. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
46 | Samuel P. Pullen, Bradford W. Parkinson |
System Design under Uncertainty: Evolutionary Optimization of the Gravity Probe-B Spacecraft. |
PPSN |
1994 |
DBLP DOI BibTeX RDF |
|
46 | Gary Barg, Nikola Djordjevic, Steven Hall |
The Development of Prometheus: An Expert System Tool for Preliminary Design of Spacecraft Thermal Control Systems. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
|
46 | Ari K. Jónsson, David Kortenkamp (eds.) |
Spacecraft Autonomy: Using AI to Expand Human Space Exploration, Papers from the 2006 AAAI Fall Symposium, Washington, DC, USA, October 13-15, 2006. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Pascal Aschwanden, Vijay Baskaran, Sara Bernardini, Chuck Fry, Maria Moreno, Nicola Muscettola, Chris Plaunt, David Rijsman, Paul Tompkins |
Model-Unified Planning and Execution for Distributed Autonomous System Control. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | William A. Maul, Kevin J. Melcher, Amy Chicatelli, T. Shane Sowers |
Sensor Data Qualification for Autonomous Operation of Space Systems. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Debra Schreckenghost, R. Peter Bonasso, David Kortenkamp |
Configurable Components for Health Management of Space Systems. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Vijayakumar Baskaran, Nicola Muscettola, David Rijsman, Chris Plaunt, Chuck Fry |
Intelligent Rover Execution for Detecting Life in the Atacama Desert. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Mark D. Johnston, Kenneth J. Rabe |
Integrating AI Planning for Telepresence with Time Delays. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | John L. Bresina, Lina Khatib, Conor McGann |
Mission Operations Planning with Preferences: An Empirical Study. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Charles Castel, Jean-François Gabard, Catherine Tessier, Bertrand Laborde, Raymond Soumagne |
FDIR Strategies for Autonomous Satellite Formations - A Preliminary Report. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Anthony Barrett |
Toward Distributing Autonomy over Robot Teams. |
AAAI Fall Symposium: Spacecraft Autonomy |
2006 |
DBLP BibTeX RDF |
|
46 | Mary Baker |
Analysis methods to support design for damping. |
Eng. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Design for damping, Spacecraft vibration suppression, NX Nastran, I-deas response analysis, Finite element modeling |
46 | Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
Verifying Large Numbers of Cooperating Adaptive Agents. |
ICPADS (1) |
2005 |
DBLP DOI BibTeX RDF |
spacecraft, Verification, formal methods, autonomy, swarms, emergent behavior |
46 | Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey |
Asteroid Exploration with Autonomic Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
asteroid, spacecraft, Agent, autonomy, autonomic |
45 | Gennady Markelov, Juergen Kroeker |
Statistical Modeling of Plume Exhausted from Herschel Small Nozzle with Baffle. |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Erdem Demircioglu, Mustafa M. Nefes |
Reliability-based TT&C subsystem design methodology for complex spacecraft missions. |
CISS |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Christie Alisa Maddock, Massimiliano Vasile |
Optimal design for a NEO tracking spacecraft formation. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Fatemeh Pirmoradi, Farrokh Sassani, C. W. de Silva |
An efficient algorithm for health monitoring and fault diagnosis in a spacecraft attitude determination system. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Navid Serrano |
A Bayesian Framework for Landing Site Selection during Autonomous Spacecraft Descent. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Zhanhua Ma, Ou Ma, Banavara N. Shashikanth |
Optimal Control for Spacecraft to Rendezvous with a Tumbling Satellite in a Close Range. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Yaqiu Liu |
Attitude and Vibration Control of Flexible Spacecraft Using Adaptive Inverse Disturbance Canceling. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Keith Schlee, Sathya Gangadharan, James Ristow, Carl Hubert, James Sudermann, Charles Walker |
Modeling and parameter estimation of spacecraft fuel slosh mode. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Dnyanesh Mathur, Bryce W. Edwards, Jacob Goldstein, Henry Nguyen, Jeffrey Pine, Barbara A. Plante, John C. Thacker, Carol L. Hoover |
An Approach for Designing Reusable, Embedded Software Components for Spacecraft Flight Instruments. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Tran, Steve A. Chien, Rob Sherwood, Rebecca Castaño, Benjamin Cichy, Ashley Davies, Gregg R. Rabideau |
DEMO: the autonomous sciencecraft experiment onboard the EO-1 spacecraft. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Tran, Steve A. Chien, Rob Sherwood, Rebecca Castaño, Benjamin Cichy, Ashley Davies, Gregg R. Rabideau |
The Autonomous Sciencecraft Experiment Onboard the EO-1 Spacecraft. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
35 | David Brodrick, Anwar S. Dawood, Neil W. Bergmann, Melanie Wark |
Error Detection for Adaptive Computing Architectures in Spacecraft Applications. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Douglas W. Caldwell, David A. Rennels |
A Minimalist Fault-Tolerant Microcontroller Design for Embedded Spacecraft Computing. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
fault-insertion testing, space radiation, single-event effects (SEE), fault-tolerance, microcontroller, embedded computing, real-time computing |
35 | Algirdas Avizienis |
The Hundred Year Spacecraft. |
Evolvable Hardware |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Cathleen Wharton, Patricia J. Shiroma, Karen E. Simmons |
PVDaCS: a prototype knowledge-based expert system for certification of spacecraft data. |
IEA/AIE (1) |
1989 |
DBLP DOI BibTeX RDF |
|
34 | Masahiro Tokumitsu, Yoshiteru Ishida, Shinichi Watari, Kentarou Kitamura |
Adaptive Forecasting of High-Energy Electron Flux at Geostationary Orbit Using ADALINE Neural Network. |
KES (2) |
2009 |
DBLP DOI BibTeX RDF |
High-energy Electron, Dielectric Charging of Spacecraft, Space Weather, Neural Network, Adaptive Learning |
34 | J. R. Carnes, Amit Misra, Janos Sztipanovits |
Model-integrated toolset for fault detection, isolation and recovery (FDIR). |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance |
34 | Robyn R. Lutz, Johnny S. Wong |
Detecting Unsafe Error Recovery Schedules. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
unsafe error recovery schedules, modeling timing, data-consistency constraints, concurrently executing processes, Galileo spacecraft, asynchronous real-time systems, scheduling, real-time systems, fault tolerant computing, aerospace computing, precedence |
34 | Wei Zheng, Xin Meng, Huan He |
Genetic Algorithm for TDRS Communication Scheduling with Resource Constraints. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Bibo Guo, Bing Liang, Cheng Li 0015, Wenyi Qiang |
Relative Navigation Scheme of the Final Approach Phase for Space Robot. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Martin S. Feather |
Defect Detection and Prevention (DDP). |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Amitabh Barua, Khashayar Khorasani |
Intelligent model-based hierarchical fault diagnosis for satellite formations. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee |
Progressive autonomy: a method for gradually introducing autonomy into space missions. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Steve A. Chien, Rob Sherwood, Daniel Tran, Benjamin Cichy, Gregg R. Rabideau, Rebecca Castaño, Ashley Davies, Rachel Lee, Dan Mandl, Stuart Frye, Bruce Trout, Jerry Hengemihle, Jeff D'Agostino, Seth Shulman, Stephen G. Ungar, Thomas Brakke, Darrell Boyer, Jim Van Gaasbeck, Ronald Greeley, Thomas Doggett, Victor R. Baker, James M. Dohm, Felipe Ip |
The EO-1 Autonomous Science Agent. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Rob Sherwood, Steve A. Chien, Daniel Tran, Benjamin Cichy, Rebecca Castaño, Ashley Davies, Gregg R. Rabideau |
Safe Agents in Space: Lessons from the Autonomous Sciencecraft Experiment. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Edward G. Benowitz, Albert F. Niessner |
Experiences in Adopting Real-Time Java for Flight-Like Software. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Michelle Lavagna, Amalia Ercoli Finzi |
A Multi-attribute Decision-Making Approach toward Space System Design Automation through a Fuzzy Logic-Based Analytic Hierarchical Process. |
IEA/AIE |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Richard J. Hughes, Colin P. Williams |
Quantum Computing: The Final Frontier? |
IEEE Intell. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
34 | W. E. Dietz, H. J. Ferber, Moonis Ali |
Space shuttle main engine component assembly, assignment, and scheduling expert system. |
IEA/AIE (1) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Yuichiro Taira, Shinichi Sagara, Masahiro Oya |
An adaptive observer for a spacecraft-manipulator system using a camera mounted on its spacecraft. |
Artif. Life Robotics |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Zhao Li, Yidi Wang, Wei Zheng, Shunguo Lian |
Spacecraft autonomous navigation via inter-spacecraft relaying communication for Mars prober. |
FUSION |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Frank Schnitzer, Klaus Janschek, Georg Willich |
Experimental results for image-based geometrical reconstruction for spacecraft Rendezvous navigation with unknown and uncooperative target spacecraft. |
IROS |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Hariharan Krishnan, Mahmut Reyhanoglu, N. Harris McClamroch |
Attitude stabilization of a rigid spacecraft using two control torques: A nonlinear control approach based on the spacecraft attitude dynamics. |
Autom. |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Esten Ingar Grøtli, Antoine Chaillet, Jan Tommy Gravdahl |
Output control of spacecraft in leader follower formation. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente |
A New Approach to Memory Partitioning in On-Board Spacecraft Software. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity |
24 | Angelo Oddi, Nicola Policella |
Improving Robustness of Spacecraft Downlink Schedules. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Shuyan Wang, Changwen Zheng, Yuxin Wang |
A Time-Fuel optimal for spacecraft formation reconfiguration. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Rasul Mohammadi, Shahin Hashtrudi-Zad, Khashayar Khorasani |
A hybrid architecture for diagnosis in hybrid systems with applications to spacecraft propulsion system. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | David Chemouil |
The Design of Spacecraft On-Board Software. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Liguo Weng, Wenchuan Cai, Ran Zhang, Yongduan Song |
Bio-Inspired Control Approach to Multiple Spacecraft Formation Flying. |
e-Science |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Brian J. d'Auriol, Tanushree Ghosh |
A Systems Model for Computation, Communication, Command and Control (C4) in a Spacecraft or Satellite Cluster. |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ryohei Fujimaki, Takehisa Yairi, Kazuo Machida |
An Anomaly Detection Method for Spacecraft Using Relevance Vector Learning. |
PAKDD |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Judy Kerner |
COTS Components for Spacecraft Ground Systems. |
ICCBSS |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Yaqiu Liu, Guangfu Ma, Qinglei Hu |
FEL-Based Adaptive Dynamic Inverse Control for Flexible Spacecraft Attitude Maneuver. |
ISNN (2) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Takehisa Yairi, Shiro Ogasawara, Koichi Hori, Shinichi Nakasuka, Naoki Ishihama |
Summarization of Spacecraft Telemetry Data by Extracting Significant Temporal Patterns. |
PAKDD |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Angelo Oddi, Nicola Policella, Amedeo Cesta, Gabriella Cortellessa |
Generating High Quality Schedules for a Spacecraft Memory Downlink Problem. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Amit Ailon, Nadav Berman, B. Greenberg, Byung-Ha Ahn, Shai A. Arogeti, Eun-Seok Choi |
Robot set-point control and spacecraft attitude regulation: some useful structural properties and new results. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Robyn R. Lutz |
Software Engineering for Space Exploration. |
Computer |
2011 |
DBLP DOI BibTeX RDF |
Robotic spacecraft, Space exploration, Software engineering, Reliability, Design tools and techniques |
23 | Bradley J. Wall, Bruce A. Conway |
Genetic algorithms applied to the solution of hybrid optimal control problems in astrodynamics. |
J. Glob. Optim. |
2009 |
DBLP DOI BibTeX RDF |
Hybrid optimal control, Spacecraft trajectory optimization, Global trajectory optimization competition (GTOC), Bilevel programming problem (BLPP), Genetic algorithm |
23 | Steve A. Chien, Benjamin Cichy, Ashley Davies, Daniel Tran, Gregg R. Rabideau, Rebecca Castaño, Rob Sherwood, Son V. Nghiem, Ronald Greeley, Thomas Doggett, Victor R. Baker, James M. Dohm, Felipe Ip, Dan Mandl, Stuart Frye, Seth Shulman, Stephen G. Ungar, Thomas Brakke, Lawrence Ong, Jacques Descloitres, Jeremy Jones, Sandy Grosvenor, Rob Wright, Luke Flynn, Andy Harris, G. Robert Brakenridge, Sebastien Cacquard |
An Autonomous Earth Observing Sensorweb. |
SUTC (1) |
2006 |
DBLP DOI BibTeX RDF |
Spacecraft Autonomy, Artificial Intelligence, Remote Sensing |
23 | Steve A. Chien, Benjamin Cichy, Ashley Davies, Daniel Tran, Gregg R. Rabideau, Rebecca Castaño, Rob Sherwood, Dan Mandl, Stuart Frye, Seth Shulman, Jeremy Jones, Sandy Grosvenor |
An Autonomous Earth-Observing Sensorweb. |
IEEE Intell. Syst. |
2005 |
DBLP DOI BibTeX RDF |
spacecraft autonomy, artificial intelligence, remote sensing |
23 | Martin R. Stytz, Sheila B. Banks, Troy D. Johnson, John M. Lewis, Scott A. Rothermel |
The Virtual SpacePlane. |
IEEE Computer Graphics and Applications |
2001 |
DBLP DOI BibTeX RDF |
Virtual Spacecraft, Simulation-Based Requirements Development, Virtual Environment User Interfaces, Space Operations Simulation, Virtual Environment Software Architecture, Simulation, Virtual Environments, Distributed Simulation |
23 | Gerald C. Gannod, Betty H. C. Cheng |
Using Informal and Formal Techniques for the Reverse Engineering of C Programs. |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics |
23 | Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup |
Semantically Enhanced Containers for Concurrent Real-Time Systems. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Kiri L. Wagstaff, Benjamin J. Bornstein |
K-means in space: a radiation sensitivity evaluation. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Kazuya Yoshida, Brian Wilcox |
Space Robots and Systems. |
Springer Handbook of Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Michele D. Carpenter, Mason A. Peck |
Dynamics of a High-Agility, Low-Power Imaging Payload. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Takashi Kubota, Masatsugu Otsuki, Tatsuaki Hashimoto |
Touchdown dynamics for sample collection in Hayabusa mission. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen |
The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
On-Board Control Procedures OBCP Herschel Planck |
23 | Nikhil Padhye |
Interplanetary trajectory optimization with swing-bys using evolutionary multi-objective optimization. |
GECCO (Companion) |
2008 |
DBLP DOI BibTeX RDF |
optimization |
23 | Larry H. Matthies, Mark W. Maimone, Andrew E. Johnson 0002, Yang Cheng, Reg G. Willson, Carlos Villalpando, Steve B. Goldberg, Andres Huertas, Andrew N. Stein, Anelia Angelova |
Computer Vision on Mars. |
Int. J. Comput. Vis. |
2007 |
DBLP DOI BibTeX RDF |
visual velocity estimation, slip prediction, stereo vision, obstacle detection, visual odometry, planetary exploration |
23 | Navid Serrano, Homayoun Seraji |
Landing Site Selection using Fuzzy Rule-Based Reasoning. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Tanya Vladimirova, Christopher P. Bridges, George Prassinos, Xiaofeng Wu 0001, Kawsu Sidibeh, David Barnhart, Abdul-Halim M. Jallad, Jean R. Paul, Vaios Lappas, Adam Baker, Kevin Maynard, Rodger Magness |
Characterising Wireless Sensor Motes for Space Applications. |
AHS |
2007 |
DBLP DOI BibTeX RDF |
mote kits, wireless COTS protocols, distributed space systems, satellites, Wireless sensor nodes |
23 | Lei Peng 0001, Guangming Dai, Fangjie Chen, Fei Liu |
Study on Application of Multi-Objective Differential Evolution Algorithm in Space Rendezvous. |
ISICA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Rambod Rastegari, S. Ali A. Moosavian |
Multiple Impedance Control of Space Free-Flying Robots Using Virtual Object Grasp. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Takashi Kubota, Shujiro Sawai, Tatsuaki Hashimoto, Junichiro Kawaguchi |
Collision Dynamics of Target Maker for Visual Navigation in Small Body Exploration. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Michael G. Hinchey, James L. Rash, Christopher A. Rouff |
Some Verification Issues at NASA Goddard Space Flight Center. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Serge N. Sala-Diakanda, Luis Rabelo, Sergio A. Rosales, Luis F. Robledo, José A. Sepúlveda, Jeppie Compton |
Integration study of prospective hazards models for the enhancement of a virtual range simulation model. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt |
Towards Autonomic Management of NASA Missions. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2280 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|