3323 search results - page 383 / 665 » Computational Semantics with Functional Programming |
216
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
182
click to vote
AUIC
2006
IEEE
16 years 22 days ago
2006
IEEE
User interface designers still have to rely on personal creativity and skill when designing computer icons for program functions that have no existing conventional representation....
184
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
194
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
We study a family of graph clustering problems where each cluster has to satisfy a certain local requirement. Formally, let µ be a function on the subsets of vertices of a graph G...
300
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...