7121 search results - page 427 / 1425 » Functions as Session-Typed Processes |
200
click to vote
MP
2010
15 years 5 months ago
2010
In this paper, we consider approximation algorithms for optimizing a generic multi-variate homogeneous polynomial function, subject to homogeneous quadratic constraints. Such opti...
205
click to vote
TCS
2010
15 years 5 months ago
2010
We investigate the runtime of a Binary Particle Swarm Optimizer (PSO) for optimizing pseudo-Boolean functions f : {0, 1}n → R. The Binary PSO maintains a swarm of particles sear...
221
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
227
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
206
Voted
SAC
2010
ACM
15 years 1 months ago
2010
ACM
The label switching problem is caused by the likelihood of a Bayesian mixture model being invariant to permutations of the labels. The permutation can change multiple times betwee...