6608 search results - page 48 / 1322 » On the Completeness of Model Checking |
124
Voted
DICTA
2007
15 years 2 months ago
2007
A common problem when using automated structure from motion techniques is that the object to be modelled can only be partially reconstructed from the video. This can occur because...
129
click to vote
EDBT
2011
ACM
14 years 4 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
106
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
We address the automatic recovery of complete 3-D object models from video streams. Usually, complete 3-D models are built by fusing several depth maps, each computed from a small...
108
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
A general framework based on Gaussian models and a MAPEM algorithm is introduced in this paper for solving matrix/table completion problems. The numerical experiments with the sta...
107
Voted
3DIM
2007
IEEE
15 years 7 months ago
2007
IEEE
Geometric models created from range sensors are usually incomplete. Considerable effort has been made to fix this problem, ranging from manual repairing to geometric interpolatio...