2385 search results - page 3 / 477 » Knowledge Refinement for a Design System |
FLAIRS
1998
13 years 9 months ago
1998
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated...
AAAI
1994
13 years 8 months ago
1994
Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...
JCB
2006
13 years 7 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...