Eastman-kodak Company

Grammatech, Inc.

Other

Amazon Technologies, Inc.

David R Cok

Robert T Gray

Tomasz A Matraszek

Matthew Noonan

Alexey Loginov

Alexander C Loui

Jay S Schildkraut

Heemin Kwon

Henry Nicponski

Serdar Tasiran

Michael A Inchalik

Charles N Judice

Barry Hendy

Systems, methods and computer readable medium described herein relate to techniques for automatic type inference from machine code. An example technique includes receiving a machine code of a program, generating an intermediate representation of the machine code, generating a plurality of type constraints from the intermediate representation, generating one or more inferred types based at least upon the plurality of type constraints, converting the generated inferred types to C types, updating the intermediate representation by applying the inferred types to the intermediate representation, and outputting said inferred types, said converted C types, and/or at least a portion of the updated intermediate representation.

Systems and/or methods for type inference from machine code

A processing device receives first specification information for an executable functional programming feature from a program and second specification information for the executable functional programming feature from a specification associated with the program. The processing device aggregates the first specification information with the second specification information to form combined specification information for the executable functional programming feature. The processing device verifies the executable programming feature using the combined specification information.

Deductive verification for programs using functional programming features

Reference material in a digital graphics album is specified. Annotation data is extracted from the reference material and may be processed by a natural language processor to produce search keywords. In addition to the keywords, user directives may be provided, both of which are used to conduct a search for related graphical materials. The search is conducted by querying a graphical material database through a network connection. The search results are received and the user can select from the resultant materials for inclusion in the digital graphics album. If no satisfactory material is found, the user can specify a reference graphical image that is processed to produce search criteria that are image content descriptors. The database is again queried in accordance with these descriptors to provide search results for possible inclusion.

System and method for acquisition of related graphical material in a digital graphics album

A method and apparatus is provided for efficient computing of perspective transformation motion tracking parameters in a sequence of images. More specifically, a set of initial positions for N points defined as (xi yi) for i&equals;1 to N corresponding to at least one input image in a sequence of images are defined. The initial positions are preferably chosen based on image features having good edge and corner definitions. A set of mapping parameters are then generated using a matrix processor to solve linearized equations that define a set of final positions. The mapping parameters are then applied to the initial positions to define the set of final positions.

Method and apparatus for computing motion tracking parameters

A method and apparatus for editing continuous tone digital images representing pixels in which regions containing defects, called 'defect regions', are unnoticeable or less visually discernible. Corrected pixel data for pixels in the defect region, called defect pixels, in the digital image are provided while data representing non-defect pixels outside of the defect region are not altered. These digital images may have one color channel (gray side) or multiple color channels. The apparatus and method includes a computer system which operates according to a set of instructions.

Method and apparatus for correcting pixel values in a digital image

A method and apparatus is provided for efficiently and automatically removing unwanted temporal lighting variations from image sequences. Specifically, temporal light variations from a sequence of images are removed by a process of selecting a reference image (R) and designating a portion of the reference image as a reference image region (M), designating a first portion of at least one base image (F) of the sequence of images as a first selected image region (M') and a second portion as a second selected image region (M'), generating a color mapping by comparing the selected image region of the base image (M') with the reference image region of the reference image frame (M), and applying the color mapping to the second selected image region (M') of the base image (F) to generated a corrected image (F'). Three separate methods of performing the color mapping are disclosed.

Method and apparatus for removing temporal lighting variations from an

A center of an approximately circular pattern in a physical image can be determined by scanning the physical image to produce an array of digital values. The array of digital values are used to calculate a score at each of a set of candidate center locations. The candidate center location having the highest score is selected as the best overall center for the entire pattern. Typically, the scores are computed on discrete rectangular grid locations, which gives the location of the center to the resolution of the discrete grid. The location can be determined to a finer resolution by recomputing the scores over a grid that has a finer resolution, but only extends over a small neighborhood around the first estimate of the center. This refinement can be repeated an arbitrary number of times. After the final refinement, the resulting estimate of the center location can be taken as the final estimate, or a final interpolation can be performed.

System and method for finding the center of approximately circular

A system for creating an index print, generated from a negative strip having one or more frame images, independent of sequentially scanning each frame on the negative strip, the system includes a scanner for substantially simultaneously creating a composite digital image of the negative strip from the negative placed on the scanner independent of the position or orientation of the negative on the scanner. An image locator operatively connected to the scanner for locating each digital representation in the composite digital image of the individual frame images on the negative strip. A printer operatively connected to the locator for printing the index print from a signal from the locator.

System and article of manufacture for producing an index print from

A method of correcting one or more defect pixels in a defect region of a source image, which image has both the defect pixels and non-defect pixels each of which is represented by at least one defect pixel signal and non-defect pixel signal, respectively. The method comprises:

Gradient based method for providing values for unknown pixels in a

A computer program product for inputting a desired soft edge into a digital mask comprises a computer readable storage medium having a computer program stored thereon for performing the steps of selecting the desired profile having a predetermined hard-edge position and transition width; selecting a distance from the hard-edge position to a boundary of the transition width for forming a kernel distance; determining a minimum distance to the hard edge for each pixel within the kernel distance from the hard edge; substituting values from the desired profile for each pixel within the kernel distance from the hard edge using the minimum distance of the pixel from the hard edge.

Computer program product for generating a soft edge on a digital mask

A computer program product for creating a soft edge in digital images comprises a computer readable storage medium having a computer program stored thereon for performing the steps of independently receiving a transition width that indicates the width of the soft edge from a computer interface; independently receiving a desired position of a hard-edged boundary from the computer interface; receiving a function of the soft edge which uniquely corresponds a pixel value to a scaled pixel location in the digital image from the computer interface; and calculating an absolute profile of the soft edge, which uniquely corresponds a pixel value to a pixel location in the digital image, from the received transition width, position of the hard-edged boundary and function.

Computer program product for defining a soft edge in a digital mask

A method of interpolating a reference cumulative histogram for a source image located within an image sequence, the reference cumulative histogram to be used to adjust image pixel code values of the source image to remove unwanted variations in color or tone, e.g. 'flicker', while preserving an intended variation, e.g. 'fade to black' in the color or tone occurring during the course of the image sequence. The method employs conversion of cumulative histograms derived from reference image frames at opposite ends of the image sequence into inverse cumulative histograms and the weighted averaging of these inverse cumulative histogram values based on the time location of the source image frame in the sequence to derive an interpolated inverse cumulative histogram which is then converted into the reference cumulative histogram used for adjusting pixel code values, for example by histogram matching, to remove the undesired variation in color or tone without loss of the intentional variation in color or tone.

Method of adjusting image pixel values within an image sequence by

A method is disclosed of operating on a stored digital image produced by scanning the photographic element to smooth film-grain noise. The method includes extracting and storing a set of statistics of the grain pattern of the film type carrying the image, such statistics being representative of local, spatial, and spectral properties of a photographic grain pattern of that type of film; and using the stored set of statistics to operate upon the stored digital image to change such stored digital image so as to smooth film-grain noise when an image is produced.

Adjusting film grain properties in digital images

A pixel value estimation technique uses non-linear prediction to estimate a pixel value before the pixel is known, based on previous values seen. Initially, a number of classes are defined. Each class is a template for a pattern of pixel values. The pixels constituting the support for the prediction of a given pixel are compared to each template. A value giving the goodness of fit to each template is determined as well as a predicted pixel value based on that template. The predictions from each template are averaged together using weights related to the goodness of the fit to that template to produce a consolidated prediction.

Growing community of inventors

Rochester, NY, United States of America

David R Cok