28 search results - page 4 / 6 » An evolutionary approach to constructive induction for link ... |
174
click to vote
AI
1999
Springer
15 years 5 months ago
1999
Springer
We present a new machine learning method that, given a set of training examples, induces a definition of the target concept in terms of a hierarchy of intermediate concepts and th...
155
click to vote
WETICE
2008
IEEE
16 years 10 days ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
205
click to vote
SOFTCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
274
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
160
click to vote
IMC
2006
ACM
15 years 12 months ago
2006
ACM
An accurate router-level topology of the Internet would benefit many research areas, including network diagnosis, inter-domain traffic engineering, and overlay construction. We ...