Matches 1 - 36 out of 36


Match Document Document Title
8849702 Information processing apparatus, information processing method, and image forming apparatus  
An information processing apparatus includes a receiving unit configured to receive a utilization request for one of plural services provided by a computer; a service attribute information storage...
8819037 Search optimization in a computing environment  
Systems and methods for verifying membership in one or more sets that are subsets of a global set are provided. The method compromises representing members of the global set by mapping each member...
8805770 Router route reconfiguration planning  
A method for solving the reconfiguration planning problem transforms the requirement that an invariant is always preserved into a constraint on the times at which the configuration parameters...
8719214 Combining medical binary decision diagrams for analysis optimization  
In particular embodiments, a method includes accessing first binary decision diagrams (BDDs) representing data streams from sensors, selecting portions from the first BDDs based on...
8688619 Systems, methods and apparatus for distributed decision processing  
Methods, apparatus, and computer software product for making a decision based on the semantics of formal logic are provided. In an exemplary embodiment, two custom computing apparatuses are used...
8494950 System for conducting an exchange of click-through traffic on internet web sites  
A system for exchanging click-through traffic between web sites of interested exchange partners on the Internet employs an intermediary web site for registering interested exchange partners and...
8321370 Method and system for translating logical constraints to linear constraints  
A system and method is provided for translating one or more logical expressions E is TRUE, or statements of the form IF E1 is TRUE THEN E2 is TRUE, to a set of linear constraints. Examples in...
8296256 SAT-based synthesis of a clock gating function  
Clock gating circuit is determined by transforming a clock gating opportunity function to a non-Boolean function and constraining inputs of the non-Boolean function. The non-Boolean function may...
8141125 Orchestration of policy engines and format technologies  
Policies can combine the efficiency of rule sets with the flexible expression power of workflow engines, as well as advantages of other programming languages and engines. Consistent modelling of...
7917459 System and method for executing complex IF-THEN clauses  
Complex nested if-then statement on data objects in a digital computer are organized as a plurality of logical case statements; for each case statement, a set of binary condition arrays is...
7801841 Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology  
A method, system and software arrangement in accordance with an exemplary embodiment of the present invention are provided to extract descriptive narrative from numerical experimental data...
7644058 Apparatus and process for conjunctive normal form processing  
A method for analyzing system-problems, comprising the steps of: accepting from a user an input describing a system having a problem; parsing the user input to create a boolean representation of...
7613676 Generating a database model from natural language expressions of business rules  
One embodiment of the invention is a method for generating a database model from a set of business rules. For a business rule given as input, an empty list of fact types is created. A...
7577625 Handling of satisfaction and conflicts in a quantified Boolean formula solver  
In order to provide for more efficient QBF satisfiability determination, the formula to be checked is transformed into one formula which is equi-satisfiable, and one which is equi-tautological....
7522710 Personalizable and customizable feature execution for IP telephony using operational semantics and deontic task trees  
A communication system for implementing personalizable and customizable features, comprising a tuple space, and a plurality of user agents representing the features, the user agents communicating...
7493300 Model and system for reasoning with N-step lookahead in policy-based system management  
When an alarm condition relating to a performance goal of a storage system is detected, a storage management system invokes an N-step lookahead engine for simulating operation of the storage...
7467124 Arrangement of configurable logic blocks  
A logic circuit includes at least one register and a corresponding comparator coupled to the register and an input data node. A multiplexer is coupled to the register. A control block is coupled...
7343589 Declarative state space reduction in a transactional messaging language  
A XLANG/s compiler recognizes a statement in XLANG/s code to make an assumption as to the success or failure of a specified transaction. The assignment states of variables are tracked and changes...
7328203 System and method for executing complex if-then clauses  
Complex nested if-then statement on data objects in a digital computer are organized as a plurality of logical case statements; for each case statement, a set of binary condition arrays is...
6895573 Method for generating a workflow on a computer, and a computer system adapted for performing the method  
A method for generating a workflow on a computer. Assessment data, e.g. defining a need, is obtained from a user. Based thereon, a workflow including a logical sequence of interdependent steps to...
6546380 Method and apparatus for detecting an endless loop in a rules-based expert system  
A method and apparatus for detecting an endless loop in a rules-based expert system. This is preferably accomplished by maintaining a count for each of the rules during rule processing. The count...
6347311 Implementation of service independent building blocks  
When implementing services compiled of service independent building blocks (SIB) in an intelligent network, the SIB parameters to be relayed in computer instructions are replaced with a global...
6163730 Method and control system for changing the state of a plant  
A device in accordance with the present invention includes drive circuitry (110) coupled to a plant (120). The drive circuitry (110) generates a first set of command signals to transition the...
5761090 Expert system for testing industrial processes and determining sensor status  
A method and system for monitoring both an industrial process and a sensor. The method and system include determining a minimum number of sensor pairs needed to test the industrial process as well...
5680518 Probabilistic computing methods and apparatus  
A new probabilistic computing system (PCS) provides computational functionality needed to efficiently realize randomized computing methods in otherwise standard, deterministic digital computing...
5587903 Artificial intelligence language program  
A sentence entered by a user is translated into Esperanto. The translated sentence is then parsed and a series of propositions are generated. Each proposition consist of a subject, verb, and an...
5493633 Deduction inference system for solving complex propositional logic problems in response to signals from a plurality of system sensors  
A deduction inference system is connected to a plurality of sensor elements, a display device, and an actuator mechanism. The deduction inference system processes stimulus sensor signals received...
5487134 Real-time rule based processing system  
A rule based processing system that is optimized for implementation in hardware. The system includes a set of logic gates that are used to implement a rule network connected to a working memory...
5392383 Fuzzy syllogistic system  
A fuzzy syllogistic inference processing system for use with a chain of implications when links in the chain have various measures between 0 and 1 of confidence. Analog signals that are linearly...
5390287 Deduction inference system for solving complex propositional logic problems in response to signals from a plurality of system sensors  
A deduction inference system is connected to a plurality of sensor elements, a display device, and an actuator mechanism. The deduction inference system processes stimulus sensor signals received...
5259067 Optimization of information bases  
A technique for increasing the efficiency of a system such as an artificial intelligence system or a data base system in which a query is applied to a set of formulas. The technique creates an...
5088048 Massively parallel propositional reasoning  
Propositional reasoning is performed on a massively parallel processor, with sets of element value combinations being handled by separate processing units. A host processor operates as a problem...
4908778 Inductive inference method for obtaining rules represented by propositional logic  
An inductive inference apparatus comprises an input section for inputting a proposition, conditions for the proposition, and the tendency of each condition, a storage section for storing the...
4779208 Information processing system and method for use in computer systems suitable for production system  
A computer system performs processing such as inference processing by sequentially executing rules each with its if-part stored in a working memory. The computer system comprises a production...
4740886 Computer control system utilizing knowledge processing  
A computer control system utilizing mathematical formula processing and more broadly knowledge engineering is characterized by a man-machine processing unit for defining a mathematical formula...
4727487 Resource allocation method in a computer system  
A method of resource allocating to respective unit processes is disclosed which comprises, in order to allow the resource allocation based on experimental know-how of operation without assistance...

Matches 1 - 36 out of 36