Maximum consensus estimation plays a critically important role in several robust fitting problems computer vision. Currently, the most prevalent algorithms for maximization draw from class of randomized hypothesize-and-verify algorithms, which are cheap but can usually deliver only rough approximate solutions. On other extreme, there exact exhaustive search nature and be costly practical-sized ...

Formal methods can be used at all stages of a software development project. In this paper we reflect on the roles of ITU-T standardized System Design Languages and their interplay in design processes of cooperative systems, highlighting the usability of User Requirements Notation (URN) standard to capture requirements with workflow-based re-engineering process of complex systems. In this paper ...