160 search results - page 17 / 32 » Exact Real Arithmetic Systems: Results of Competition |
105
click to vote
WLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
113
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper an agent-based segmentation approach is presented and discussed. The approach consists in the utilization of autonomous agents for the segmentation of a ran...
107
click to vote
IJON
2006
14 years 11 months ago
2006
We present an application of multi-objective evolutionary optimization of feed-forward neural networks (NN) to two real world problems, car and face classification. The possibly co...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
104
click to vote
AIPS
2000
15 years 1 months ago
2000
Planning for real robots to act in dynamic and uncertain environments is a challenging problem. A complete model of the world is not viable and an integration of deliberation and ...