2263 search results - page 170 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
182
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
152
click to vote
PKDD
2009
Springer
16 years 17 days ago
2009
Springer
A serious drawback of kernel methods, and Support Vector Machines (SVM) in particular, is the difficulty in choosing a suitable kernel function for a given dataset. One of the appr...
180
click to vote
MST
2010
15 years 24 days ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
157
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
181
Voted
ECML
2007
Springer
16 years 6 days ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...