Lee Blaine

Learn More
Planware is a domain-specific generator of high-performance scheduling software, currently being developed at Kestrel Institute. Architecturally, Planware is an extension of the Specware system with domain-independent and domain-dependent parts. The domain-independent part includes a general algorithm design facility (including mechanisms to synthesize(More)
Computer-assisted instruction (CAI) offers many opportunities for the application of artificial intelligence (AI) techniques. One advantage of doing AI research within the CAI paradigm is that the curriculum provides a ready framework for the evaluation of any AI model that we might propose. In this paper we describe the models of informal mathematical(More)
  • 1