1746 search results - page 222 / 350 » A Constructive Semantics for ALC |
91
Voted
ACISP
2007
Springer
15 years 7 months ago
2007
Springer
This paper improves the Finiasz-Vaudenay construction of TCHo, a hardware-oriented public-key cryptosystem, whose security relies on the hardness of finding a low-weight multiple ...
104
Voted
ECML
2007
Springer
15 years 7 months ago
2007
Springer
Knowledge representations using semantic web technologies often provide information which translates to explicit term and predicate taxonomies in relational learning. We show how t...
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
ICCSA
2007
Springer
15 years 7 months ago
2007
Springer
Information Extraction (IE) is an important research field within the Artificial Intelligence community, for it tries to extract relevant information out of vast amounts of data....
84
Voted
KI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...