3113 search results - page 240 / 623 » Numerical Methods |
162
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
150
click to vote
PSIVT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A very compact algorithm is presented for fundamental matrix computation from point correspondences over two images. The computation is based on the strict maximum likeli...
146
click to vote
ICMLA
2007
15 years 7 months ago
2007
This paper presents the application of a reinforcement learning (RL) approach for the near-optimal control of a re-entrant line manufacturing (RLM) model. The RL approach utilizes...
179
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
Adding external knowledge improves the results for ill-posed problems. In this paper we present a new multi-level optimization framework for image registration when adding landmark...
156
click to vote
ACAL
2007
Springer
16 years 19 days ago
2007
Springer
There has been some ambiguity about the growth of attractors in Kauffman networks with network size. Some recent work has linked this to the role and growth of circuits or loops o...