2108 search results - page 204 / 422 » Constrained Heuristic Search |
190
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose a 3D reconstruction algorithm by combining shape from silhouette with stereo. Visual hull of the object is first derived from multi-view silhouette image...
201
click to vote
INLG
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
206
click to vote
ICTAI
2003
IEEE
2003
IEEE
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
16 years 11 days ago
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
149
click to vote
GECCO
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. This paper provides an empirical test of a hypothesis, which describes the effects of structural mechanisms in genetic programming. In doing so, the paper offers a test p...
174
Voted
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...