2263 search results - page 25 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
139
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 1 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
100
click to vote
ICALT
2009
IEEE
15 years 5 months ago
2009
IEEE
This poster presents an ongoing European project: Language Technologies for Lifelong Learning (LTfLL). The aim of the project is to create a next-generation of support and advice ...
105
click to vote
HRI
2010
ACM
15 years 8 months ago
2010
ACM
—Mobile robots that interact with humans in an intuitive way must be able to follow directions provided by humans in unconstrained natural language. In this work we investigate h...
105
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
The use of Mercer kernel methods in statistical learning theory provides for strong learning capabilities, as seen in kernel principal component analysis and support vector machin...
177
click to vote
ICML
2003
IEEE
16 years 2 months ago
2003
IEEE
An approach to semi-supervised learning is proposed that is based on a Gaussian random field model. Labeled and unlabeled data are represented as vertices in a weighted graph, wit...