1613 search results - page 202 / 323 » Functional and Constraint Logic Programming |
113
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
144
click to vote
ICCAD
2006
IEEE
16 years 7 days ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
135
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
119
click to vote
ICLP
1990
Springer
15 years 7 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
125
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Data exchanges between Web services engaged in a composition raise several heterogeneities. In this paper, we address the problem of data cardinality heterogeneity in a c...