9810 search results - page 311 / 1962 » Problems, Descriptions and Objects |
155
click to vote
DLOG
2001
15 years 8 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
173
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
151
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Conventional approach to mathematical description of experiments applies probability theory. Here, another approach is used to express uncertainty based on probability, fuzzy sets...
225
click to vote
ESANN
1997
15 years 8 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
180
click to vote
AICOM
2010
15 years 6 months ago
2010
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...