895 search results - page 51 / 179 » A Spectrum of Applications of Automated Reasoning |
178
Voted
JMIV
2011
14 years 11 months ago
2011
When the Discrete Fourier Transform of an image is computed, the image is implicitly assumed to be periodic. Since there is no reason for opposite borders to be alike, the “peri...
118
Voted
AIL
1998
15 years 4 months ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
136
click to vote
ISEMANTICS
2010
15 years 6 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
149
click to vote
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
158
click to vote
DLOG
2003
15 years 6 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...