1634 search results - page 78 / 327 » Reasoning about Knowledge Using Rough Sets |
125
click to vote
GIS
1992
ACM
15 years 4 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
87
Voted
CAI
2004
Springer
15 years 20 days ago
2004
Springer
Abstract. Computer-supported collaborative knowledge creation is the continuous process of development of knowledge assets, where produced knowledge has to be assessed by the devel...
128
click to vote
TABLEAUX
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
124
click to vote
IFIP12
2010
14 years 10 months ago
2010
This paper presents a decision support system for treatment planning in brain cancer radiotherapy. The aim of a radiotherapy treatment plan is to apply radiation in a way that dest...
100
Voted
ICFCA
2009
Springer
15 years 7 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...