Revision as of 22:24, 15 August 2015 edit Joswig (talk \| contribs) Extended confirmed users 1,261 edits SPIKE spplication ← Previous edit		Revision as of 22:30, 15 August 2015 edit undo Joswig (talk \| contribs) Extended confirmed users 1,261 edits ASTRO-D application Next edit →
Line 18: * [http://users.encs.concordia.ca/~haarslev/publications/vl96/paper.html GenEd], An Editor with Generic Semantics for Formal Reasoning about Visual Notations * [https://www.aaai.org/Papers/Workshops/1999/WS-99-05/WS99-05-024.pdf KONWERK], a ___domain independent configuration tool * [http://comanche.stsci.edu/institute/software_hardware/spike/documents/spike-chapter3.pdf SPIKE], scheduling system for the Hubble space telescope observations. Also used for [http://www.researchgate.net/profile/Mark_Johnston7/publication/234221453_The_Application_of_Artificial_Intelligence_to_Astronomical_Scheduling_Problems/links/53dfb4c70cf27a7b8306a5b6.pdf ASTRO-D], an X-Ray observation astronomy mission ==References==

Common Lisp Interface Manager: Difference between revisions