229 search results - page 16 / 46 » The Cognitive Ergonomics of Knowledge-Based Design Support S... |
CADE
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
ITS
2004
Springer
14 years 2 days ago
2004
Springer
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
TSMC
2002
13 years 6 months ago
2002
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
INTERACT
2003
13 years 8 months ago
2003
The rapid development of information technology has enabled many systems that support creative work. However, it has gradually become obvious that the latest information systems h...
IJCAI
2003
13 years 8 months ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...