2385 search results - page 50 / 477 » Knowledge Refinement for a Design System |
ECIS
2003
14 years 11 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
ISSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
ICALT
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we deal with knowledge representation in the area of learning design and adaptive learning. Specification of concrete instances is usually context-dependent and does...
101
click to vote
DAC
1996
ACM
15 years 1 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
FLAIRS
2001
14 years 11 months ago
2001
Knowledgemanagementsystems are making inroads into organizationsthat wantto get a handleontheir intellectual capital. Tothis end, we have designed and implemented Expert Seeker, a...