3680 search results - page 311 / 736 » cases 2010 |
172
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper addresses the problem of state estimation in the case where the prior distribution of the states is not perfectly known but instead is parameterized by some unknown par...
167
click to vote
ICCSA
2010
Springer
15 years 5 months ago
2010
Springer
In our work the focus is on emergent behaviour in large groups of stock market participants. We do not assume that market participants take rational investment decisions based on f...
184
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
194
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a new method for the incremental training of multiclass Support Vector Machines that provides computational efficiency for training problems in the case where the trai...
205
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Passive stereo vision is widely used as a range sensing technology in robots, but suffers from dropouts: areas of low texture where stereo matching fails. By supplementing a st...