3081 search results - page 447 / 617 » A Formal Ontology of Properties |
181
click to vote
LACL
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
145
click to vote
LACL
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
174
click to vote
LPAR
2005
Springer
16 years 22 hour ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
173
click to vote
MATES
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
171
click to vote
PAKDD
2005
ACM
16 years 17 hour ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...