The Experts below are selected from a list of 120 Experts worldwide ranked by ideXlab platform

Wernhard Christoph - One of the best experts on this subject based on the ideXlab platform.

  • Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic
    'Springer Science and Business Media LLC', 2020
    Co-Authors: Wernhard Christoph
    Abstract:

    PIE is a Prolog-Embedded Environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are structured through formula macros, and as outputs of reasoning tasks such as second-order quantifier elimination and Craig interpolation. It supports a workflow based on documents that intersperse macro definitions, invocations of reasoners, and LaTeX-formatted natural language text. Starting from various examples, the paper discusses features and application possibilities of PIE along with current limitations and issues for future research.Comment: To appear in DECLARE 2019 Revised Selected Papers. arXiv admin note: substantial text overlap with arXiv:1908.1113

  • PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic
    2019
    Co-Authors: Wernhard Christoph
    Abstract:

    PIE is a Prolog-Embedded Environment for automated reasoning on the basis of first-order logic. It includes a versatile formula macro system and supports the creation of documents that intersperse macro definitions, reasoner invocations and LaTeX-formatted natural language text. Invocation of various reasoners is supported: External provers as well as sub-systems of PIE, which include preprocessors, a Prolog-based first-order prover, methods for Craig interpolation and methods for second-order quantifier elimination.Comment: Part of DECLARE 19 proceeding

Chunming Tsai - One of the best experts on this subject based on the ideXlab platform.

  • adaptive local power law transformation for color image enhancement
    Applied Mathematics & Information Sciences, 2013
    Co-Authors: Chunming Tsai
    Abstract:

    Color image enhancement is a very important process that has significa ntly impacted many portable devices, including PDAs, digital cameras, and mobile camera phones. Due to the limited memory space and computational power of portable devices, reducing the computational complexity of an Embedded system is priority concern. Thus, this paper proposes an adaptive local power- law transformation method with low computational complexity and high performance. In order to reduce the computational time, a fast method is proposed to compute the local mean from the neighboring pixels to adapt the exponential value in the power-law transformation for enhancing the color images. The experiments reported included various color images; the results show that the performance of the proposed method is better than the compared global and local enhancement methods in terms of both non-over enhancement and natural color clearly revealed. In particular, the pr oposed enhancement method has low computational cost. Moreover, the proposed algorithm can be run on an Embedded Environment and processed in a real-time system due to its simplicity and efficiency

  • contrast enhancement by automatic and parameter free piecewise linear transformation for color images
    IEEE Transactions on Consumer Electronics, 2008
    Co-Authors: Chunming Tsai, Zongmu Yeh
    Abstract:

    Conventional contrast enhancement methods have four shortcomings. First, most of them need transformation functions and parameters which are specified manually. Second, most of them are application-oriented methods. Third, most of them are performed on gray level images. Fourth, the histogram equalization (HE) based enhancement methods use non-linear transform function. Thus, this paper proposes an automatic and parameter-free contrast enhancement algorithm for color images. This method includes following steps: First, RGB color space is transformed to HSV color space. Second, image content analysis is used to analyze the image illumination distribution. Third, the original image is enhanced by piecewise linear based enhancement method. Finally, the enhancement image is transformed back to RGB color space. This novel enhancement is automatic and parameter-free. Our experiments included various color images with low and high contrast. Experiment results show that the performance of the proposed method is better than histogram equalization (HE) and its six variations in non-over enhancement and natural clearly revealed. Moreover, the proposed algorithm can be run on an Embedded Environment (such as mobile device, digital camera, or other consumer products) and processed in real-time system due to its simplicity and efficiently.

Li Zhan-huai - One of the best experts on this subject based on the ideXlab platform.

  • A Real-Time Flash Memory Storage System in Embedded Environment
    2016
    Co-Authors: Lin Wei, Zhang Yan-yuan, Li Zhan-huai
    Abstract:

    Abstract. Recently, flash memory is becoming a popular data storage device in most of the electronic consumer devices. It has lots of attractive features such as small size and light weight nature, zero noise, solid-state reliability, low power consumption, and better shock resistant. To make it suitable for real-time Embedded applications, this paper presents the design of an object based file system that uses parallel operations to guarantee bounded read-write access latencies to real-time tasks, in the presence of requests from non real-time tasks. The proposed scheme requires minimal support from the underlying operating system

Zongmu Yeh - One of the best experts on this subject based on the ideXlab platform.

  • contrast enhancement by automatic and parameter free piecewise linear transformation for color images
    IEEE Transactions on Consumer Electronics, 2008
    Co-Authors: Chunming Tsai, Zongmu Yeh
    Abstract:

    Conventional contrast enhancement methods have four shortcomings. First, most of them need transformation functions and parameters which are specified manually. Second, most of them are application-oriented methods. Third, most of them are performed on gray level images. Fourth, the histogram equalization (HE) based enhancement methods use non-linear transform function. Thus, this paper proposes an automatic and parameter-free contrast enhancement algorithm for color images. This method includes following steps: First, RGB color space is transformed to HSV color space. Second, image content analysis is used to analyze the image illumination distribution. Third, the original image is enhanced by piecewise linear based enhancement method. Finally, the enhancement image is transformed back to RGB color space. This novel enhancement is automatic and parameter-free. Our experiments included various color images with low and high contrast. Experiment results show that the performance of the proposed method is better than histogram equalization (HE) and its six variations in non-over enhancement and natural clearly revealed. Moreover, the proposed algorithm can be run on an Embedded Environment (such as mobile device, digital camera, or other consumer products) and processed in real-time system due to its simplicity and efficiently.

Lin Wei - One of the best experts on this subject based on the ideXlab platform.

  • A Real-Time Flash Memory Storage System in Embedded Environment
    2016
    Co-Authors: Lin Wei, Zhang Yan-yuan, Li Zhan-huai
    Abstract:

    Abstract. Recently, flash memory is becoming a popular data storage device in most of the electronic consumer devices. It has lots of attractive features such as small size and light weight nature, zero noise, solid-state reliability, low power consumption, and better shock resistant. To make it suitable for real-time Embedded applications, this paper presents the design of an object based file system that uses parallel operations to guarantee bounded read-write access latencies to real-time tasks, in the presence of requests from non real-time tasks. The proposed scheme requires minimal support from the underlying operating system