5525 search results - page 777 / 1105 » Verification of Model Transformations |
193
click to vote
CVPR
2008
IEEE
2008
IEEE
Quasi-perspective projection with applications to 3D factorization from uncalibrated image sequences
16 years 8 months ago
The paper addresses the problem of factorization-based 3D reconstruction from uncalibrated image sequences. We propose a quasi-perspective projection model and apply the model to ...
171
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
166
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...
171
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
Model-based recognition of an object typically involves matching dense 3D range data. The computational cost is directly affected by the amount of data of which a transformation n...
191
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...