6608 search results - page 1072 / 1322 » On the Completeness of Model Checking |
229
click to vote
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--This research investigates the problem of robust dynamic resource allocation for heterogeneous distributed computing systems operating under imposed constraints. Often, s...
163
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We develop an abstract model of information acquisition from redundant data. We assume a random sampling process from data which contain information with bias and are interested in...
3077
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
This paper extends classical object pose and relative camera motion estimation algorithms for imaging sensors sampling the scene through light-paths. Many algorithms in multi-view...
195
click to vote
BMVC
2010
15 years 1 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
331
click to vote
ISF
2011
15 years 1 months ago
2011
As supply chains evolve beyond the confines of individual organizations, information sharing has become the holy grail in supply chain technology. Although the value of information...