Andrew Mark Dearden  Home/Search
Context Related
| cs.york.ac.uk/reports...YCST9507.ps.Z cs.york.ac.uk/ftpdir/...YCST9507.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.york.ac.uk/~andyd/ICMs (more) From: cs.york.ac.uk/ftpdir/reports/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The thesis: generic formal modelling frameworks can be used to encapsulate knowledge about human computer interaction with a particular class of system, namely interactive case memories (ICMs). A generic modelling framework can be used to ensure that ICMs developed exhibit desirable interaction properties, and can be re-used for the development of multiple systems. Some formal modelling frameworks that have been advocated to support the development of interactive systems have aimed to model a... (Update)
Context of citations to this paper: More
...to be free from observational error, and oe is a similarity measure defined for the space DN . Using the terminology of Dearden s model [Dea95], the case base is modelled as a set of pairs of descriptions and reports . As indicated above, a description is an N bit vector...
...of one interface but across several projects. This argument for generic modelling has also been propounded in such works as [GD90, GN91, Dea94] Secondly and perhaps more significantly, we get a level of abstraction more appropriate to the properties which we want to examine,...
Cited by: More
Inductive Generalisation in Case-Based Reasoning Systems - Griffiths (1996) (Correct)
Inductive Bias in Case-Based Reasoning Systems - Griffiths, Bridge (1995) (Correct)
Formalising the Knowledge Content of Case Memory Systems - Griffiths, Bridge (1995) (Correct)
Active bibliography (related documents): More All
2.8: Choosing a Knowledge Based System to Support a Help Desk - Dearden, Bridge (1992) (Correct)
1.9: Improving the Interfaces to Interactive Case Memories - Dearden (1994) (Correct)
1.8: Modelling Interaction Properties for Interactive Case Memories - Dearden, Harrison (1993) (Correct)
Similar documents based on text: More All
0.2: Modeling Dynamic Receptive Field Changes Produced By.. - George Kalarickal (1998) (Correct)
0.1: Rearrangement of receptive field topography after.. - Kalarickal, Marshall (1998) (Correct)
0.1: Communication Scheduling in a Distributed Memory Parallel.. - Lüling, Gómez (Correct)
Related documents from co-citation: More All
7: Case-based representation and learning of pattern languages - Jantke, Lange - 1993
4: Computational Learning Theory (context) - Anthony, Biggs - 1992
4: Instance-Based Learning Algorithms (context) - Aha, Kibler et al. - 1991
BibTeX entry: (Update)
A M Dearden. The use of formal models in the design of interactive case memory systems. PhD thesis, University of York, UK, 1995. http://citeseer.ist.psu.edu/dearden95use.html More
@misc{ dearden95use,
author = "A. Dearden",
title = "The use of formal models in the design of interactive case memory systems",
text = "A M Dearden. The use of formal models in the design of interactive case
memory systems. PhD thesis, University of York, UK, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/dearden95use.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
891 Strips: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
689 Systematic Software Development Using VDM - Jones - 1990
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
616 Notation: A reference manual (context) - Spivey, The - 1989
531 Case-Based Reasoning (context) - Kolodner - 1993
349 Knowledge acquisition via incremental concept formation (context) - Fisher - 1986
293 Programming from Specifications (context) - Morgan - 1990
274 Generalization as search (context) - Mitchell - 1982
181 Case based reasoning: Foundational issues (context) - Aamodt, Plaza - 1994
149 Derivational analogy: A theory of reconstructive problem sol.. (context) - Carbonell - 1986
142 An Introduction to Formal Specification and Z (context) - Potter, Sinclair et al. - 1991
140 On visual formalisms - Harel - 1988
115 Explanation based learning: A problem solving perspective (context) - Minton, Carbonell et al. - 1989
107 Goals and Understanding (context) - Schank, Abelson - 1977
103 Models of incremental concept formation (context) - Genarri, Langley et al. - 1989
81 Introducing Objectcharts or how to use Statecharts in object.. (context) - Coleman, Hayes et al. - 1992
78 Analogical mapping by constraint satisfaction (context) - Holyoak, Thagard - 1989
76 Specification Case Studies (context) - Hayes - 1987
71 User Interface Design (context) - Thimbleby - 1990
66 How To Solve It (context) - Polya - 1973
60 Formalizing design spaces: Implicit invocation mechanisms (context) - Garlan, Notkin - 1991
58 Beyond interface builders: Model-based interface tools - Szekely, Luo et al. - 1993
57 An International Survey of Industrial Applications of Formal.. - Craigen, Gerhart et al. - 1993
51 Formal Methods and the Certification of Critical Systems - Rushby - 1993
50 Abstract interaction objects (context) - Duke, Harrison - 1993
41 Resolving goal conflicts via negotiation (context) - Sycara - 1988
40 Dynamic Memory: A theory of reminding and learning in comput.. (context) - Schank - 1982
36 Formal Aspects of Human-Computer Interaction (context) - Abowd - 1991
33 The role of critiquing in co-operative problem solving (context) - Fischer, Lemke et al. - 1991
30 Case Based Planning (context) - Hammond
30 Protos: an exemplar-based learning apprentice (context) - Bareiss, Porter et al. - 1991
28 Cambridge University Press (context) - Spivey, Understanding - 1988
28 Formal Methods in HumanComputer Interaction (context) - Harrison, Thimbleby - 1990
28 Cabaret: rule interpretation in a hybrid architecture (context) - Rissland, Skalak - 1991
28 Causal understanding of patient illness in medical diagnosis (context) - Patil, Szolovits et al. - 1981
27 Prototyping for tiny fingers (context) - Rettig - 1994
27 A process model of case-based reasoning in problem solving (context) - Kolodner, Simpson et al. - 1985
26 A Computer Model of Case-Based Reasoning in Problem Solving (context) - Simpson - 1985
25 Incremental constructive induction: An instance-based approa.. - Aha - 1991
21 Case based design support: A case study in architectural des.. (context) - Pearce, Goel et al. - 1992
21 Studying Software Architecture Through Design Spaces and Rul.. - Lane - 1990
21 Specification Language Version (context) - Duke, King et al. - 1991
20 Object Oriented Formal Specification (context) - Duke - 1992
20 uncertainty and case-based reasoning in patdex (context) - Richter, Wess et al. - 1991
19 Building explanations from rules and structured cases (context) - Branting - 1991
17 Questions options and criteria: Elements of design space ana.. (context) - MacLean, Young et al. - 1991
16 A formal language for KADS models of expertise - Van Harmelen, Balder - 1992
15 Formal specifications as reusable frameworks (context) - Garlan, Delisle - 1990
15 Communications requirements for co-operative problem solving.. (context) - Fischer - 1990
14 Memory based reasoning applied to English pronunciation (context) - Stanfill - 1987
14 From Modal Logic to Deductive Databases (context) - Thayse - 1989
13 The Mathematical Structure of Raster Graphics (context) - Fiume - 1989
10 A connectionist and symbolic hybrid for improving legal rese.. (context) - Rose, Belew - 1991
10 Case-Based Reasoning: A Computer Model of Subjective Assessm.. (context) - Bain - 1986
10 refinement and analysis of interactive processes (context) - Sufrin, He - 1990
10 cient classification procedures and their application to che.. (context) - Quinlan, Learning - 1983
10 The varieties of refinement (context) - Jacob - 1991
10 Increasing Shared Understanding of a Design Task Between Des.. (context) - Nakakoji - 1993
9 Unifying views of interactors (context) - Duke, Faconti et al. - 1994
9 Neomycin: Reconfiguring a rule based expert system for appli.. (context) - Clancey, Letsinger - 1981
9 Specifying Physical Limitations: A Case Study of an Oscillos.. - Hayes - 1990
9 A case-based approach to modeling legal expertise (context) - Ashley, Rissland
8 Inside Case-Based Reasoning (context) - Reisbeck, Schank - 1989
8 Complementary methods for the iterative design of interactiv.. (context) - Harrison, Roast et al. - 1989
7 Variable-precision case retrieval in analogical problem solv.. (context) - Veloso, Carbonell - 1991
7 Commercialising case based reasoning technology (context) - Klahr, Vrooman - 1991
6 An underlying memory model to support case retrieval (context) - Brown - 1994
6 intelligent (context) - Roth, Bennett et al. - 1988
6 Engineering human error tolerant software (context) - Harrison - 1992
5 Expert systems: an alternative paradigm (context) - Coombs, Alty - 1984
5 Defining salience in case-based arguments (context) - Ashley - 1989
5 A case based design aid for conceptual design of aircraft su.. (context) - Domeshek, Herndon et al.
5 The design of a tool kit for case based design aids - Domeshek, Kolodner et al.
5 Hci formalisms and cognitive psychology: The case of Task-Ac.. (context) - Schiele, Green - 1990
5 The answer is in the question: a protocol study of intellige.. (context) - Aaronson, Carroll - 1987
5 Expert Systems Architectures (context) - Johnson, Keravnou - 1988
4 Relations relating relations (context) - Goldstone, Gentner et al. - 1989
4 What is a deep expert system: An analysis of the architectur.. (context) - Keravnou, Washbrook - 1989
4 Overcoming rule-based rigidity and connectionist limitations.. (context) - Barnden, Srinivas - 1992
4 Prioritising preference relations - Ryan - 1993
4 Competent Expert Systems (context) - Keravnou, Johnson - 1986
4 The BOSS-System: Coupling visual programming with model base.. - Schreiber - 1976
3 Putting design into practice: formal specification and the u.. (context) - Took - 1990
3 Executing Models in Human Computer Interaction (context) - Roast - 1993
3 Human interface aspects of expert systems (context) - Young - 1989
3 Topics in Case Based Reasoning (context) - Wess, Altho et al. - 1994
3 DARPA Case Based Reasoning Workshop (context) - Hammond - 1989
3 Techniques for employing case based reasoning in automated c.. (context) - Barletta, Mott - 1991
3 Integrating user requirements and systems specification (context) - Blandford, Harrison et al. - 1993
3 Knowledge based systems support for help desk operations: A .. - Bridge, Dearden - 1992
3 Using information technology to solve real world problems (context) - Manago, Conruyt - 1992
2 knowledge and expert systems (context) - Quinlan - 1988
2 A GIO view of AV Connections (context) - Faconti, Paterno' - 1994
2 Technical Report System Modelling/WP (context) - Duke, Harrison et al.
2 ESPRIT Basic Research Action (context) - Duke, Harrison
2 Maintaining organisation in a dynamic long term memory (context) - Kolodner
2 Legal reasoning: The problem of precedent (context) - Tyree, Greenleaf et al. - 1988
2 Formal Methods for Interactive Systems (context) - Hall - 1991
2 Panel on analogy and CBR (context) - Seifert - 1989
2 Conceptions of the discipline of hci: Craft (context) - Long, Dowell - 1989
2 Reconstructive memory: A computer model (context) - Science, Kolodner
2 The roles of adaptation in case based design (context) - report, Computer et al. - 1991
2 Formal specification and decision support (context) - Krause, Byers et al. - 1994
1 Using a formal model for the evaluation of the human-compute.. (context) - Kotze - 1993
1 and Wess (context) - Bayer, Herbig - 1992
1 Case Based Reasoning: Papers from the 1993 Workshop (context) - Leake - 1993
1 A spiral model of software development and enhancement (context) - Holland - 1988
1 Introduction to the ISO specification language LOTOS (context) - May, Bolognesi et al. - 1988
1 Concept learning in a rich input domain: Generalization base.. (context) - WS-, AAAI et al. - 1986
1 Abstractions for Adaptable Dialogue Specification (context) - Cockton - 1987
1 Rules and precedents as complementary warrants (context) - Studies, Branting et al. - 1991
1 Technical Report SM/IR (context) - Duke, Harrison
1 Face to face guidance of university computer users 2 (context) - Studies, Coombs et al. - 1980
1 The simulation of verbal learning behaviour (context) - Feigenbaum - 1963
1 Choosing a knowledge based system to support a help desk (context) - Verlag, Bridge - 1993
1 Model based user interface development tools (context) - Foley - 1979
1 DARPA Case Based Reasoning Workshop (context) - thesis, University et al. - 1991
1 Panel discussion on similarity assessment (context) - Bareiss - 1989
1 BIBLIOGRAPHY 216 Inference Corporation (context) - Science - 1991
1 Case Based Learning and Inductive Inference (context) - Jankte - 1992
1 Learning causal models by self questioning and experimentati.. (context) - thesis, Computer et al. - 1992
1 Some thoughts on diagnostic advice (context) - Review, Kidd et al. - 1985
1 PATDEX - ein Ansatz zur wissenbasierten und inkrementellen V.. (context) - Wess - 1993
1 Man machine interface issues in the construction and use of .. (context) - Kidd, Cooper - 1985
1 Software Engineering Mathematics (context) - Verlag, Loomes - 1988
1 Modelling interaction properties for interactive case memori.. - Dearden, Harrison - 1993
1 Research and Development in Expert Systems VIII (context) - Graham, Milne et al. - 1988
1 Expert Critics: Operationalising the judgement / decisionmak.. (context) - Silverman - 1991
1 Information sought and information provided: An empirical st.. (context) - Expert, -- - 1985
1 DARPA Case Based Reasoning Workshop 1988 (context) - Kolodner - 1988
1 Conceptual clustering: Inventing goal oriented classificatio.. (context) - Review, Stepp et al. - 1986
1 From Knowledge Engineering to Work-Oriented Development of K.. (context) - Stolze - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.york.ac.uk/~andyd/ICMs.html):
Modelling Interaction Properties for Interactive Case Memories - Dearden, Harrison (1993) (Correct)
Improving the Interfaces to Interactive Case Memories - Dearden (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC