1989 search results - page 257 / 398 » Set functions for functional logic programming |
100
click to vote
TNN
2008
15 years 3 months ago
2008
Prior knowledge over general nonlinear sets is incorporated into nonlinear kernel classification problems as linear constraints in a linear program. The key tool in this incorpora...
122
click to vote
ENTCS
2002
15 years 3 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
148
click to vote
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...
155
Voted
ICTAC
2009
Springer
15 years 29 days ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
176
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...