108 search results - page 5 / 22 » ILP for Mathematical Discovery |
ILP
2003
Springer
14 years 20 days ago
2003
Springer
We describe an efficient implementation (MRDTL-2) of the Multi-relational decision tree learning (MRDTL) algorithm [23] which in turn was based on a proposal by Knobbe et al. [19] ...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
ATAL
2005
Springer
13 years 9 months ago
2005
Springer
Service discovery and matchmaking in a distributed environment has been an active research issue since at least the mid 1990s. Previous work on matchmaking has typically presented...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
We discuss the problem of communication-aware module placement in array-like reconfigurable environments, such as the Erlangen Slot Machine (ESM). Bad placement of modules may deg...
ILP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...