28 search results - page 6 / 6 » Reasoning with Generic Cases in the Arithmetic of Abstract M... |
SETN
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. In this paper we are dealing with the task of adding domainspecific semantic tags to a document, based solely on the domain ontology and generic lexical and Web resource...
ICLP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
ICANN
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. To generalize the Fisher Discriminant Analysis (FDA) algorithm to the case of discriminant functions belonging to a nonlinear, finite dimensional function space F (Nonli...