2741 search results - page 133 / 549 » Engineering Mathematical Knowledge |
122
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
119
Voted
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
122
click to vote
CLEIEJ
2010
14 years 12 months ago
2010
One of the techniques used to support decisions in uncertain environments is the Fuzzy TOPSIS method. However, from crisp data, this method considers only one fuzzy set in their a...
136
click to vote
JACM
2010
15 years 29 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
126
Voted
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...