8828 search results - page 1267 / 1766 » Formal methods in practice |
182
click to vote
CPM
2007
Springer
16 years 1 months ago
2007
Springer
We present a method to speed up the dynamic program algorithms used for solving the HMM decoding and training problems for discrete time-independent HMMs. We discuss the applicatio...
185
click to vote
DAGM
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
188
click to vote
FSR
2007
Springer
16 years 1 months ago
2007
Springer
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...
207
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engag...
165
click to vote
ICB
2007
Springer
16 years 1 months ago
2007
Springer
Current iris recognition systems can achieve high level of success under restricted conditions, while they still face challenges of utilizing images with heavy deformation caused b...