2385 search results - page 135 / 477 » Knowledge Refinement for a Design System |
107
Voted
FLAIRS
2004
15 years 4 months ago
2004
The paper aims at contributing to the problem of designing ontologies for spatio-temporal knowledge representation. We consider a linguistically oriented, situation-based methodol...
142
Voted
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
134
Voted
PGLDB
2003
15 years 4 months ago
2003
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
138
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Searching for medical information on the Web is highly popular these days. To facilitate ordinary people to perform medical search and preliminary disease self-diagnosis, we have ...
158
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...