Real-Time Imaging最新文献

Imaging systems are traditionally developed using structured analysis and design techniques at best. Such approaches tend to be rigid with respect to changing needs, technologies, devices and algorithms—for example, when additional compression algorithms are needed or attached devices are changed large parts of software applications employing those techniques and interfacing with those devices must be modified to accommodate the change. In a larger perspective, these systems are difficult or impossible to reuse; each new problem requires a new solution.

This is generally undesirable and often not necessary, but only if best practices in software engineering are employed. These best practices have been explored and documented in detail with regard to object-oriented systems, which suggests that it is an appropriate paradigm to employ in the development of future imaging systems. This work examines these best practices, in the form of patterns and design principles, with reference to imaging systems and within the context of the Java imaging APIs.

Component-based software engineering is increasingly being adopted in developing a wide range of applications that have high dependability requirements. Continuing along with our ongoing efforts in developing a framework integrating the concepts of component-based design for fault-tolerance and category-theory-based modular composition, in this paper, we present a component-based design of a fault-tolerant multimedia protocol and composition of resulting components through correct-by-construction approach. Essentially, we show how a fault-intolerant program is transformed into a fault-tolerant program with components providing for dependability, namely, detectors and correctors. We first show the correctness of the fault-tolerant program, and then to achieve a rigorous composition out of the fault-intolerant program and fault-tolerant components, we utilize concepts of category theory to develop component-based fault-tolerant program. We illustrate the overall development of a fault-tolerant program with a case study of the label distribution protocol (LDP). The compositional specification and its correctness for the FT-LDP has been realized through a mechanized formal tool called Specware.

A memory power optimization and performance exploration methodology based on high-level (C language) code transformations that allows the system designer to explore various data memory power, data memory area and performance trade-offs early in the design process of embedded multimedia systems is introduced. This exploration strategy is introduced for both single and multiprocessor environments. The latter requires partitioning of the application. After employing software transformations, the experimental results, obtained using four well-known motion estimation kernels provide an insight on the performance and energy consumption trade-offs, comparing memory hierarchies for the ARM programmable core and prove the validity of the proposed approach.

Kalman filters are an important technique for building fault-tolerance into a wide range of systems, including real-time imaging. From a software engineering perspective, however, it is not easy to build Kalman filters. Each has to be custom designed and most software engineers are not sufficiently grounded in the necessary systems theory to perform this design.

The contributions of this paper, therefore, are a set of recipes for implementation of the Kalman filter to a variety of real-time imaging settings, the presentation of a set of object-oriented requirements, and a design for a class of Kalman filters suitable for real-time image processing.

First, we describe the Kalman filter and motivate its use as a mechanism for fault-tolerant computing and sensor fusion. Next, the details of using Kalman filters in imaging applications are discussed and several associated algorithms presented. Then, the advantages of using object-oriented specification, design and languages for the implementation of Kalman filters are explored. Finally, we present a specification and design for a class of Kalman filters, which is suitable for coding. This work extends significantly upon that first appearing in 2003 at an SPIE conference (Laplante and Neill, proceedings of the real-time imaging conference, SPIE, Santa Clara, January 2003, pp. 22–29).

This article presents how a recently introduced effective approach to multiscale skeletonization can be further enhanced in accuracy and isotropy by propagating labels corresponding to the arc-lengths along the contour, calculated by a real-time spectral methodology, instead of the previously adopted successive integer values. The effectiveness of the described approach is illustrated with respect to synthetic and real shapes.

Video analysis of human dynamics is an important area of research devoted to detecting people and understanding their dynamic physical behavior in a complex environment that can be used for biometric applications. This paper provides a detailed survey of the various studies in areas related to the tracking of people and body parts such as face, hands, fingers, legs, etc., and modeling behavior using motion analysis.