660 search results - page 68 / 132 » Hybrid CSP Solving |
CSCLP
2008
Springer
13 years 11 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
IEEEMM
2007
13 years 10 months ago
2007
— Microarray technology offers a high throughput means to study expression networks and gene regulatory networks in cells. The intrinsic nature of high dimensionality and small s...
CVPR
2007
IEEE
15 years 3 hour ago
2007
IEEE
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, the parameters of a genetic network for rice flowering time control have been estimated using a multiobjective genetic algorithm approach. We have modified the rece...
MICAI
2005
Springer
14 years 3 months ago
2005
Springer
Particle Swarm Optimization (PSO) technique has proved its ability to deal with very complicated optimization and search problems. Several variants of the original algorithm have b...