11397 search results - page 196 / 2280 » A Relational Abstraction for Functions |
193
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
223
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
168
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
173
click to vote
CCDS
2010
15 years 7 months ago
2010
A boolean function of n boolean variables is correlation-immune of order k if the function value is uncorrelated with the values of any k of the arguments. Such functions are of co...
190
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...