160 search results - page 17 / 32 » Exact Real Arithmetic Systems: Results of Competition |
127
click to vote
WLP
2005
Springer
15 years 7 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...
128
click to vote
ATAL
2006
Springer
15 years 5 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...
126
Voted
IJON
2006
15 years 1 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
15 years 1 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...
134
click to vote
AIPS
2000
15 years 3 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 ...