1805 search results - page 124 / 361 » A Theory of Closure Operators |
120
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
190
Voted
JSAI
2007
Springer
15 years 10 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
133
click to vote
ICNC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
147
Voted
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
—The learning from observation (LFO) paradigm has been widely applied in various types of robot systems. It helps reduce the work of the programmer. However, the applications of ...
193
Voted
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...