2607 search results - page 408 / 522 » Complete Functional Synthesis |
122
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
119
click to vote
ISMIR
2004
Springer
15 years 7 months ago
2004
Springer
With digital technologies, music content providers face serious challenges to protect their rights. Due to the widespread nature of music sources, it is very difficult to central...
112
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
112
click to vote
PPSN
2004
Springer
15 years 7 months ago
2004
Springer
Different credit assignment strategies are investigated in a two level co-evolutionary model which involves a population of Gaussian neurons and a population of radial basis funct...
133
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...