Export 55 results:
Filters: Author is Mark Boddy [Clear All Filters]
Automated case generation using a genetic algorithm. Proceedings of the Genetic and Evolutionary Computation Conference Companion.. 2017.
Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System. Workshop on Reasoning about Time in CBR (RATIC) at the International Conference on Case-Based Reasoning (ICCBR) 2016.. 2016.
Frankencode: Creating Diverse Programs Using Code Clones. 2016 IEEE 23nd International Conference on Software Analysis, Evolution and Reengineering (SANER). :604-608.. 2016.
ConCEPT: Constraint-Checking Editor for Procedure Editing and Tracking. Workshop on AI in Space at the 2015 International Joint Conferences on Artificial Intelligence (IJCAI).. 2015.
Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.. 2014.
Learning from Previous Execution to Improve Route Planning. ICAPS Workshop on Planning and Learning.. 2013.
PRONTOE: A case study for developing ontologies for operations. 5th International Conference on Knowledge Engineering and Ontology Development.. 2013.
Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness. Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS-12).. 2012.
Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco CA (2011).. 2011.
FUSED: A Tool Integration Framework for Collaborative System Engineering. 2nd Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS-11). :1-8.. 2011.
Coordinated Management of Large-Scale Networks Using Constraint Satisfaction. Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt ’10, Twenty-Fourth AAAI Conference on Artificial Intelligence.. 2010.
Eliciting Planning Information from Subject Matter Experts. ICAPS 2010 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS).. 2010.
Planning for Human Execution of Procedures Using ANML. ICAPS 2010 Scheduling and Planning Applications Workshop.. 2010.
Ontological Models to Support Planning Operations. International Workshop on Planning and Scheduling for Space (IWPSS).. 2009.
Assessment Study on Sensors and Automation in the Industries of the Future: Reports on Industrial Controls, Information Processing, Automation, and Robotics.. 2004.
CLOCKWORK: Requirements Definition and Technology Evaluation for Robust, Compiled Autonomous Spacecraft Executives.. 2004.