Abstract: A process for generating with unification based grammars such as Lexical Functional Grammars which uses construction and analysis of generation guides to determine internal facts and eliminate incomplete edges prior to constructing a generation chart. The generation guide can then be used in the construction of the generation chart to efficiently generate with unification-based grammars such as Lexical Functional Grammars. The generation guide is an instance of a grammar that has been specialized to the input and only contains those parts of the grammar that are relevant to the input. When the generation guide is analyzed to determine internal facts a smaller generation chart is produced.

Abstract: Techniques are provided to classify patterns in isogenous pattern sources. Techniques are provided to determine a computationally inexpensive upperbound on the true score or joint probability of the field label and field features over all field labels. Candidate field labels associated with promising upperbound scores are dynamically queued. True scores are computed for a subset of the candidates fields resulting in reduced computations to determine a field label. Techniques are also provided to determine optimal variables for any system with shared constraints.

Abstract: Techniques for estimating user interest in graph structures are provided. A graph structure containing at least two nodes, a threshold disinterest value and at least one interesting node within the graph structure are determined. Each determined interesting node is added to a set of active nodes. Adjacent nodes connected to the set of active nodes and associated with Degree-Of-Interest values more interesting than the threshold disinterest value are in turn added to the set of active nodes until no additional adjacent connected nodes have a Degree-Of-Interest value more interesting than the threshold value. A new visualization of the graph structure is determined based on the nodes in the set of active nodes. The interesting nodes may be determined based on specific indications of interest in a node, such as a mouse selections, or may be based on the user's focus of attention within the graph based information structure.

Abstract: Techniques are provided for determining the efficient conjunction of Boolean variables drawn from an and-or forest of choices. The techniques determine two contexts to conjoin, where the contexts consist of choices drawn from an and-or forest of choices. The choices in the first context are marked with a first mark, along with all of their antecedent choices. The choices in the second context are marked with a second mark, along with all of their antecedent choices. The techniques determine and-nodes in the and-or forest having the first mark from a first dependent or-node and the second mark from a second dependent node. The dependent or-nodes are refined and then partitioned into classes based on the presence of the first mark and the second mark, the first mark only, the second mark only, and neither mark.

Abstract: Techniques for displaying interactive topic-based summarization are provided. A text to be summarized is segmented. Discrete keyword, key-phrase, n-gram, sentence and other sentence constituent based summaries are generated based on statistical measures for each text segment. Interactive topic-based summaries are displayed with human sensible omitted text indicators such as alternate colors, fonts, sounds, tactile elements or other human sensible display characteristics useful in indicating omitted text. Individual and/or combinations of discrete keyword, key-phrase, n-gram, sentence, noun phrase and sentence constituent based summaries are dynamically displayed to provide an overview of topic and subtopic development within a text. A hierarchical and interactive display of texts based on the use of discrete sentence constituent based summaries which associates expansible and contractible displayed text to provide contextualized access to an interactive topic-based text summary and to an original text.