Sciweavers

2335 search results - page 247 / 467
» Functional Differentiation of Computer Programs
Sort
View
ICALP
2007
Springer
15 years 6 months ago
Continuous Capacities on Continuous State Spaces
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
Jean Goubault-Larrecq
93
Voted
AUIC
2006
IEEE
15 years 6 months ago
A case for iconic icons
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....
Jennifer Ferreira, James Noble, Robert Biddle
113
Voted
GECCO
2010
Springer
191views Optimization» more  GECCO 2010»
15 years 23 days ago
Fitness importance for online evolution
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...
Philip Valencia, Raja Jurdak, Peter Lindsay
97
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 17 days ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
108
Voted
ICALP
2011
Springer
14 years 4 months ago
Clustering with Local Restrictions
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...
Daniel Lokshtanov, Dániel Marx