Abstract: Methods, computer program products, and systems are presented. The methods include, for instance: obtaining a document image with objects and identifying microblocks corresponding to each object. Analyzing a position of a microblock for collinearity with another microblock based on respective positional characteristics and adjustable collinearity parameters. Collinear microblocks are identified into a macroblock and computational data of a key-value pair is created from the macroblock. A heuristic confidence level is associated with the key-value pair. Also based on data cluster formation, a table may be classified and data extracted.

Abstract: Methods, computer program products, and systems are presented. The methods include, for instance: obtaining a document image with objects and identifying microblocks corresponding to each object. Analyzing a position of a microblock for collinearity with another microblock based on respective positional characteristics and adjustable collinearity parameters. Collinear microblocks are identified into a macroblock and computational data of a key-value pair is created from the macroblock. A heuristic confidence level is associated with the key-value pair. Also based on data cluster formation, a table may be classified and data extracted.

Abstract: A method and apparatus are provided for converting a Two-Dimensional (2D) video to a Three-Dimensional (3D) video is disclosed. The method includes detecting a shot including similar frames in the 2D video; setting a key frame in the shot; determining whether a current frame is the key frame; when the current frame is the key frame, performing segmentation on the key frame, assigning a depth to each segmented object in the key frame; and when the current frame is not the key frame, performing the segmentation on non-key frames, and assigning the depth to each segmented object in the non-key frames.

Abstract: A method for a model checking algorithm is provided. The method includes determining whether a class representative for a state has been processed, and generating a successor state for the state when the class representative for the state has not been processed. The method also includes determining which of a plurality of nodes is assigned to process the successor state, and processing the successor state at a node of the plurality of nodes that is assigned to process the successor state. Additionally another method for checking a model of a system is provided. This method processes a plurality of states for the model with a plurality of nodes using a distributed model checking technique. Each of the plurality of nodes uses symmetry reduction techniques to check if a representative state for a first state has been processed prior to processing the first state.