-
GOLEM
- Referenced in 52 articles
[sw24695]
- FOIL, GOLEM is a “classic” among empirical ILP systems. It has been applied successfully ... space for consistent hypotheses as, for instance, FOIL, but rather constructs a unique clause covering...
-
FOIL
- Referenced in 30 articles
[sw24694]
- Induction of logic programs: FOIL and related systems. FOIL is a first-order learning system ... present examples of tasks tackled by FOIL and of systems that adapt and extend...
-
Aleph
- Referenced in 47 articles
[sw12108]
- these of relevance to Aleph are: CProgol, FOIL, FORS, Indlog, MIDOS, SRT, Tilde, and WARMR...
-
kFOIL
- Referenced in 11 articles
[sw23358]
- well-known inductive logic programming system FOIL with kernel methods. The feature space is constructed ... leveraging FOIL search for a set of relevant clauses. The search is driven...
-
TRHD
- Referenced in 9 articles
[sw16786]
- simulation of laser driven thin Aluminum (Al) foil acceleration. The simulation results are found...
-
LFOIL
- Referenced in 7 articles
[sw02759]
- rule induction algorithm based on Quinlan’s FOIL algorithm. According to this algorithm...
-
FOIL-D
- Referenced in 3 articles
[sw02584]
- FOIL-D: Efficiently scaling FOIL for multi-relational data mining of large datasets. Multi-relational ... extensions to a popular ILP system, FOIL, that improve its scalability. (i) We show ... interface FOIL directly to a relational database management system. This enables FOIL ... equivalent to those learned with standard FOIL but at considerably less cost...
-
PROTEUS
- Referenced in 3 articles
[sw34691]
- line oscillating cylinder, a pitching foil, a plunging SD7003 airfoil and a plunging and flapping...
-
LEDAkem
- Referenced in 2 articles
[sw31287]
- compact keypairs. LEDAkem uses ephemeral keys to foil known statistical attacks, and takes advantage...
-
RANSE
- Referenced in 1 article
[sw09620]
- water vapour is ejected from the foil surface and the transpiration velocities are computed with ... distribution. They are then applied on the foil surface as water vapour. The results...
-
Expfit
- Referenced in 1 article
[sw10754]
- analysis of light decay curves in beam-foil spectroscopy experiments. It fits, using the least...
-
Eleven82
- Referenced in 1 article
[sw17445]
- satisfies a property, the proof is foiled by these external events that crash and restart...
-
Matlab
- Referenced in 12074 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
PRISM
- Referenced in 406 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
UCI-ml
- Referenced in 3041 articles
[sw04074]
- UC Irvine Machine Learning Repository. We currently maintain...
-
ABAQUS
- Referenced in 1452 articles
[sw04215]
- The Abaqus Unified FEA product suite offers powerful...
-
FLUENT
- Referenced in 418 articles
[sw04263]
- FLUENT is a Computational Fluid Dynamics (CFD) code...
-
OpenFOAM
- Referenced in 390 articles
[sw04317]
- The OpenFOAM® (Open Field Operation and Manipulation) CFD...
-
WEKA
- Referenced in 287 articles
[sw06435]
- WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
-
YAP-Prolog
- Referenced in 44 articles
[sw06948]
- The YAP prolog system. Yet another Prolog (YAP...