2573 search results - page 451 / 515 » Combinations of Modal Logics |
139
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
146
click to vote
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the artificial neural networks (ANNs), feature selection is a wellresearched problem, which can improve the network performance and speed up the training of the networ...
145
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
125
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
117
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...