In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully automatic, rewrite-rule based program transformation system. From its initial implementation in 1970, TAMPR has evolved into a powerful tool for generating correct and efficient programs from specifications. The specifi...

A simple parallel algorithm for decoding a Huffman encoded file is presented, exploiting the tendency of Huffman codes to resynchronize quickly, i.e. recovering after possible decoding errors, in most cases. The average number of bits that have to be processed until synchronization is analyzed and shows good agreement with empirical data. As Huffman coding is also a part of the JPEG image compr...

Follow this and additional works at: http://scholarship.law.upenn.edu/faculty_scholarship Part of the African American Studies Commons, Behavioral Economics Commons, Business Law, Public Responsibility, and Ethics Commons, Civil Rights and Discrimination Commons, Economic Theory Commons, Entrepreneurial and Small Business Operations Commons, Ethics and Political Philosophy Commons, Inequality a...

This paper presents a series of possible improvement strategies and/or implementations related to the JPEG 2000 standard for imaging devices. A comparative study relative to various coding options is presented together with some brief considerations about rate-ctrl techniques and perceptive improvement strategies. Index Terms — Classification, compression standard, contentdependent optimization...

The current study investigated computer attitudes, anxiety, behavior, and gender in the context of a computer-related uncertain event with potentially far-reaching implications, the Y2K computer problem. Internet-based data collection resulted in a sample of 1500 participants who completed questionnaires on a research website. Path analyses showed that Y2K anxiety and preparations were signific...

Equal bit rate is assigned to all tiles of an image when compressed with JPEG2000 standard. This bit rate is selected without taking information contents of the tiles into account. This results into poor performance of JPEG2000 standard for the tiles that have higher complexity. We can improve performance of JPEG2000 by assigning higher bit rates to complex tiles. An entropy based weighted bit ...

The efficiency of compressing color-quantized images using general purpose lossless image coding methods depends on the degree of smoothness of the index images. A wellknown and very effective approach for increasing smoothness relies on palette reordering techniques. In this paper, we show that these reordering methods may leave some room for further improvements in the compression performance...

Among the different modes of operations allowed in the current JPEG standard, the sequential and progressive modes are the most widely used. While the sequential JPEG mode yields essentially the same level of compression performance for most encoder implementations, the performance of progressive JPEG depends highly upon the designed encoder structure. This is due to the flexibility the standar...

The system in this paper generates a ceiling map from video obtained by an upward camera of a moving indoor robot. The map is shared by robots for auto-localization. When the floor is not flat, automatically estimated location contains error. We compensate the error by utilizing video from a forward camera of the robot. In the system, a remote server estimates the location based on data transmi...