1040 search results - page 112 / 208 » Tools for modeling and solving search problems |
114
Voted
SCALESPACE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Segmentation of images is often posed as a variational problem. As such, it is solved by formulating an energy functional depending on a contour and other image derived t...
118
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
134
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
89
Voted
IJHPCA
2006
15 years 20 days ago
2006
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
82
Voted
JUCS
2006
15 years 19 days ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...