354 search results - page 58 / 71 » jos 2010 |
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
SEMWEB
2010
Springer
14 years 8 months ago
2010
Springer
The Web of Linked Data is characterized by linking structured data from different sources using equivalence statements, such as owl:sameAs, as well as other types of linked propert...
TSP
2010
14 years 5 months ago
2010
In this paper, we introduce a new approach for nonlinear equalization based on Gaussian processes for classification (GPC). We propose to measure the performance of this equalizer ...
90
Voted
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider the weight design problem for the consensus algorithm under a finite time horizon. We assume that the underlying network is random where the links fail at each iterat...