Sciweavers

2263 search results - page 140 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ACL
1990
15 years 7 months ago
Automated Inversion of Logic Grammars for Generation
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
Tomek Strzalkowski, Ping Peng
BMCBI
2007
119views more  BMCBI 2007»
15 years 5 months ago
Efficacy of different protein descriptors in predicting protein functional families
Background: Sequence-derived structural and physicochemical descriptors have frequently been used in machine learning prediction of protein functional families, thus there is a ne...
Serene A. K. Ong, Hong Huang Lin, Yu Zong Chen, Ze...
TABLEAUX
2009
Springer
16 years 12 days ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
ICML
2009
IEEE
16 years 6 months ago
Bandit-based optimization on graphs with application to library performance tuning
The problem of choosing fast implementations for a class of recursive algorithms such as the fast Fourier transforms can be formulated as an optimization problem over the language...
Arpad Rimmel, Frédéric de Mesmay, Ma...
EUROCOLT
1999
Springer
15 years 10 months ago
Learning Range Restricted Horn Expressions
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
Roni Khardon