3690 search results - page 584 / 738 » Computation with classical sequents |
DAGM
2009
Springer
14 years 11 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...
FSTTCS
2008
Springer
14 years 11 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...
83
Voted
GECCO
2008
Springer
14 years 11 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...
SMA
2010
ACM
14 years 10 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...
103
click to vote
CEC
2008
IEEE
14 years 10 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...