4555 search results - page 75 / 911 » Deductive Algorithmic Knowledge |
IJSI
2010
13 years 8 months ago
2010
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
An important obstacle to the success of the Semantic Web is that the establishment of the semantic relationship is labor-intensive. This paper proposes an automatic semantic relat...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
KES
2008
Springer
13 years 10 months ago
2008
Springer
This paper discusses a new solution to university course timetabling problems. The problems that belong to the NP-hard class are very difficult to solve using conventional optimiza...
ICML
2001
IEEE
14 years 11 months ago
2001
IEEE
Clustering is traditionally viewed as an unsupervised method for data analysis. However, in some cases information about the problem domain is available in addition to the data in...