1737 search results - page 118 / 348 » On Interpolation in Existence Logics |
155
click to vote
JUCS
2008
15 years 6 months ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
159
click to vote
JUCS
2007
15 years 6 months ago
2007
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
166
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
176
click to vote
JEI
2006
15 years 6 months ago
2006
We propose a fuzzy logic recursive scheme for motion detection and spatiotemporal filtering that can deal with the Gaussian noise and unsteady illumination conditions in both the t...
201
click to vote
SOCO
2002
Springer
15 years 6 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...