12 search results - page 1 / 3 » Interaction transform for bi-set functions over a finite set |
ISCI
2006
13 years 4 months ago
2006
Set functions appear as a useful tool in many areas of decision making and operations research, and several linear invertible transformations have been introduced for set function...
TVCG
2012
11 years 7 months ago
2012
—In this paper, we present a robust and accurate algorithm for interactive image segmentation. The level set method is clearly advantageous for image objects with a complex topol...
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
DCOSS
2006
Springer
13 years 8 months ago
2006
Springer
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise ...
LPAR
2010
Springer
13 years 2 months ago
2010
Springer
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...