3690 search results - page 584 / 738 » Computation with classical sequents |
158
click to vote
DAGM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Graph cuts have become very popular in many areas of computer vision including segmentation, energy minimization, and 3D reconstruction. Their ability to find optimal res...
128
click to vote
FSTTCS
2008
Springer
15 years 6 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
147
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we explore the model–building issue of multiobjective optimization estimation of distribution algorithms. We argue that model–building has some characteristics t...
126
Voted
SMA
2010
ACM
15 years 5 months ago
2010
ACM
Bio-molecules reach their stable configuration in solvent which is primarily water with a small concentration of salt ions. One approximation of the total free energy of a bio-mol...
178
Voted
CEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-- Understanding the evolvability of simple differentiating multicellular systems is a fundamental problem in the biology of genetic regulatory networks and in computationa...