10870 search results - page 1804 / 2174 » Model Checking Programs |
242
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— A non-parametric, low-complexity algorithm for accurate and simultaneous localization of multiple sensors from scarce and imperfect ranging information is proposed. The techniq...
188
click to vote
IAT
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...
155
Voted
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
244
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
We compare three Computer Vision approaches to 3-D reconstruction, namely passive Binocular Stereo and active Structured Lighting and Photometric Stereo, in application to human f...
175
click to vote
IJCNN
2006
IEEE
16 years 25 days ago
2006
IEEE
— We present a simple, intuitive argument based on “invariant imbedding” in the spirit of dynamic programming to derive a stagewise second-order backpropagation (BP) algorith...