Abstract: An information management device includes a memory and a processor coupled to the memory and configured to produce a second service process of a service which is defined by partial grammar by removing a first production rule out of a plurality production rules which are used by a first service process defined by context-free grammar, the first production rule being selected from among the plurality of production rules, and store process information associated with input information into the memory, the process information indicating a process included in the second service process.

Abstract: A computer-implemented method of simplifying a complex part in a geometric model by approximating its shape, including creating a two-dimensional cross-sectional plane through the complex part in at least two of three mutually orthogonal axes of the part, to give two or three planes, each reproducing the shape of the complex part at the cross section; and performing a combination operation on the planes to form a new body from the planes.

Abstract: A document retrieval system of the present invention includes an agent system that facilitates document retrieval by mediating a search request from a user to databases provided with search engines that search for a document with a keyword. When a facilitating agent is supplied with a search request containing a keyword, the facilitating agent refers to a facilitating database that stores keyword information indicating the relationship between the keyword and the databases provided with search engines for each keyword so as to determine a database agent to which the search request is to be sent out.

Abstract: A scheduling system designates start times of a plurality of procedures processed by a plurality machines. The scheduling system comprises an initial restriction violating condition set portion for initially setting a restriction violating condition which is a sufficient condition for the violation of the restriction conditions, a start time change portion for changing the start time of a procedure, a start time designation portion for designating the start time of a procedure, a restriction violating condition generation portion for substituting start times of a procedure which satisfy at least one of the restriction violating conditions into a variable of one of the restriction violating conditions and ANDing the conditions so as to generate a new restriction violating condition, a restriction violating condition storage portion for storing restriction violating conditions generated by the initial restriction violating condition set portion and the restriction violating condition generation portion.

Abstract: A computer-implemented scheduling system and method designates start times of a plurality of procedures processed by a plurality of resource devices.

Abstract: A computer based combination problem processor solves constrained combination satisfaction problems for determining discrete values of respective variables in which the constraint is externally specified by a set of inequalities and equalities, and solves combination optimization problems for determining the discrete values of respective variables to minimize or maximize the value of a given objective function.