Abstract: Described is a technology comprising a query processing pipeline in which a SPARQL query is processed into an intermediate LINQ query, which is then processed by a LINQ provider. The LINQ provider decides which instructions correspond to flat database queries, and routes those instructions a database engine (e.g., SQL server) for querying a database. Other instructions are provided to a reasoning engine for processing, e.g., by performing a graph traversal and/or database queries. The pipeline may include a parser that parses the query into an abstract syntax tree, and an optimizer that processes the abstract syntax tree into a LINQ query, including by reordering LINQ instructions and/or associating a flag with each of the instructions that indicates whether to query the database or provide the instruction to a reasoning engine.

Abstract: Systems, methods, and computer-readable media for processing electronic ink: (a) receive electronic ink input; (b) convert the input to machine-generated objects; and (c) render the objects such that their size substantially corresponds to the input's original size. The input ink may constitute text, and the machine-generated objects may correspond to words, lines, and/or other groupings of text generated by a handwriting recognizer. To enable quick and easy identification of recognizer errors, in at least some systems and methods, a user may select one or more words, which will cause the system to display the original ink corresponding to the selected word(s). Such systems also may display alternative words generated by the recognizer corresponding to the selected original ink and allow the user to select one of the alternatives to make corrections in the recognized text (akin to using a spell-checking or handwriting recognition program).

Abstract: A document, publication or a portion of a publication containing collateral information (e.g. advertisements) is delivered in electronic form, preferably appearing electronically as it appears in traditional printed form. Collateral information associated with the document, publication or portion of the publication is dynamically replaced, enabling the user to potentially receive more useful and relevant information and enabling the publisher to potentially generate new revenue from the replaced collateral information.

Abstract: Described is a technology comprising a query processing pipeline in which a SPARQL query is processed into an intermediate LINQ query, which is then processed by a LINQ provider. The LINQ provider decides which instructions correspond to flat database queries, and routes those instructions a database engine (e.g., SQL server) for querying a database. Other instructions are provided to a reasoning engine for processing, e.g., by performing a graph traversal and/or database queries. The pipeline may include a parser that parses the query into an abstract syntax tree, and an optimizer that processes the abstract syntax tree into a LINQ query, including by reordering LINQ instructions and/or associating a flag with each of the instructions that indicates whether to query the database or provide the instruction to a reasoning engine.

Abstract: A trusted component on a device includes a secure HWID therein and is verified by obtaining a key from the device, and verifying each signed component of the operating system of the device therewith. A driver table is examined to locate a HWID driver which is verified as containing a pointer back to an address inside a kernel. The verified operating system is called to obtain the secure HWID from a HWID component by way of the HWID driver and to return same to the trusted component. Thereafter, the returned HWID is verified as matching the HWID included with the trusted component.

Abstract: A technique for creating a tamper-resistant machine identifier is disclosed. A file is created with a set of file blocks having random locations. Each block is identified by an object identifier that represents the block's location. A machine identifier is created based on the object identifiers of the file blocks. Machine-identifier-dependent software (i.e., software that is designed to perform its function only in the presence of a particular machine identifier) is created and loaded into the file. The software has the machine identifier embedded within itself, and checks the object identifiers of the file in which it is stored against the embedded machine identifier prior to performing its functions. The software may, in one example, be rights-management software that is adapted to allow commercially valuable content to be rendered only on a particular device having a particular machine identifier.

Abstract: A document, publication or a portion of a publication containing collateral information (e.g. advertisements) is delivered in electronic form, preferably appearing electronically as it appears in traditional printed form. Collateral information associated with the document, publication or portion of the publication is dynamically replaced, enabling the user to potentially receive more useful and relevant information and enabling the publisher to potentially generate new revenue from the replaced collateral information.

Abstract: A trusted component on a device includes a secure HWID therein and is verified by obtaining a key from the device, and verifying each signed component of the operating system of the device therewith. A driver table is examined to locate a HWID driver which is verified as containing a pointer back to an address inside a kernel. The verified operating system is called to obtain the secure HWID from a HWID component by way of the HWID driver and to return same to the trusted component. Thereafter, the returned HWID is verified as matching the HWID included with the trusted component.