Quotables
"Telephone, n. An invention of the devil which abrogates some of the advantages of making a disagreeable person keep his distance. "
Ambose Bierce
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 7814041 | System and method for control and training of avatars in an interactive environment A system operative to execute and train at least one avatar for each user of an interactive environment comprising a knowledge engine operative to continuously monitor each user's response to events in the interactive environment while each user controls the at leas... | 10/12/2010 |
| 7533074 | Modifiable knowledge base in a mobile device One implementation provides a method for modifying a knowledge base on a client device. The method includes receiving input from a user of the client device specifying a first proposed modification to the knowledge base, modifying the knowledge base as specified by ... | 05/12/2009 |
| 7383586 | File system operation and digital rights management (DRM) File system interaction with digital rights management (DRM) is facilitated by enabling one or more file system components to be DRM-aware. These one or more file system components may be part of a computer operating system. An exemplary system implementation includ... | 06/03/2008 |
| 7266534 | System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non... | 09/04/2007 |
| 7236964 | Method of explaining a decision taken by a compensatory multi-criteria aggregation model The method in accordance with the invention is a method making it possible to explain a decision taken by a compensatory multi-criterion aggregation model, according to which a single compensatory multi-criterion aggregation model is established for the application ... | 06/26/2007 |
| 7191163 | System and method for providing inferencing services A method for providing inferencing services includes receiving a plurality of rules for a specified domain. The method also includes identifying a precondition associated with the rules and a postcondition associated with the rules. The precondition represents an in... | 03/13/2007 |
| 7188324 | Assertion morphing in functional verification of integrated circuit design A method and apparatus provides a mechanism to transform or “morph” Formal verification method assertions so that an assertion defined in one Design Under Test (DUT) can be replicated, or derived, to propagate into other related DUTs. Using the method and appara... | 03/06/2007 |
| 7143063 | Method and apparatus for a verifiable on line rejection of an applicant for credit A system and method are disclosed for presenting a reason for the rejection of a credit application from an applicant is disclosed. The method includes obtaining a factor from a credit bureau identified as a factor that influences the FICO score assigned to the appl... | 11/28/2006 |
| 7079985 | Method and system for approximating value functions for cooperative games A method and system for approximating a value functions for cooperative games. The method and system include approximating value functions for large cooperative games. The method and the system may be applicable to other types of value function problems such as thos... | 07/18/2006 |
| 7024388 | Method and apparatus for an integrative model of multiple asset classes The invention provides a method and apparatus for combining two or more risk models to create a risk model with wider scope than its constituent parts. The method insures that the newly formed risk model is consistent with the component models from which it is forme... | 04/04/2006 |
| 6996843 | System and method for detecting computer intrusions A system and method are disclosed for detecting intrusions in a host system on a network. The intrusion detection system comprises an analysis engine configured to use continuations and apply forward- and backward-chaining using rules. Also provided are sensors, whi... | 02/07/2006 |
| 6968324 | Method, system and program product for evaluating a computational processing capacity migration between computer platforms A method, system and program product for determining a cost differential resulting from a migration of computational workloads between computer platforms is disclosed herein. Information regarding current and planned hardware and software use on the computer platfor... | 11/22/2005 |
| 6951008 | Evidential reasoning system and method Computerized method and system for making decisions based on evidential reasoning are provided. The method allows for providing a model structure; including a plurality of processing nodes. Each of the processing nodes is coupled to receive a set of inputs to supply... | 09/27/2005 |
| 6948121 | Key word dictionary producing method and apparatus A method and apparatus for producing a keyword dictionary using a computer includes inputting a user's necessity or a user's non-necessity for each of pieces of information data, wherein one or more keywords are attached to the information data. A summed necessity v... | 09/20/2005 |
| 6934695 | Agent system for generating and executing a plan, and for re-planning Disclosed is a technology relating to an agent system for generating an excellent plan. A script can be freely described by individually storing an action definition and the script without any limitation due to a language form of the action definition. Constructing ... | 08/23/2005 |
| 6907386 | Method for computer-supported error analysis of sensors and/or actuators in a technical system Disclosed is a method wherein a state description of the technical system for an error occurrence and a state description of the technical system for error-free operation is determined in order to detect sensor and/or actor errors. The attainable states for both des... | 06/14/2005 |
| 6836770 | Method for transforming SQL queries A computer-implemented method for transforming an SQL query having a WHERE clause having nested SELECT expressions. The expression in the WHERE clause being transformed by the iterative application of rules to have ThereExists expressions and associated truth-value ... | 12/28/2004 |
| 6336110 | System for solving of a constraint-satisfaction problem and constructing of a system A system and method for processing a large constraint satisfaction problem quickly, including a subset generating module (1), which divides a set of alternatives provided for a plurality of parts of a given problem into a plurality of subsets, such that e... | 01/01/2002 |
| 6286047 | Method and system for automatic discovery of network services A method for identifying services, service elements and dependencies among the services and service elements includes executing first and second phases of discovery. In the first phase, the services and service elements are detected, as well as a first se... | 09/04/2001 |
| 6223170 | Method and apparatus for inference of partial knowledge in interactive configuration The invention relates to a method of configuring a set of object values in a computer. At least one object value of the set of object values is user-chosen from a number of object values. Each object has at least one possible object value. Each object val... | 04/24/2001 |
| 6047278 | Method for the automatic generation of a controller A method is described which aids the generation of a controller from an application-related formal specification. The method enables the generation of controllers which satisfy specified safety conditions, specifically in such a way that the generation pr... | 04/04/2000 |
| 5978789 | Efficient hypothetical query evaluation in a database system A hypothetical query in a database system is transformed using algebraic equivalences involving explicit substitutions so as to produce one or more equivalent queries which can be evaluated more efficiently than the original hypothetical query. The hypoth... | 11/02/1999 |
| 5832465 | Method for building a self-learning evidential reasoning system The present invention discloses a method for building a self-learning evidential reasoning system from examples. In this invention a hierarchical model structure for the self-learning evidential reasoning system is defined. After the model structure has b... | 11/03/1998 |
| 5706406 | Architecture for an artificial agent that reasons defeasibly A method for defeasible reasoning including a method for analyzing data input, reasoning to conclusions on the basis of that data and adopting and executing plans on the basis of those conclusions. The processes are defeasible in the sense that, as reason... | 01/06/1998 |
| 5446830 | Efficient nonmonotonic reasoning apparatus and methods The use of nonmonotonic or "common sense" reasoning has often been advocated to speed up reasoning systems. The difficulty has always been that nonmonotonic reasoning requires consistency checks, which are even more computationally intractable than the mo... | 08/29/1995 |
| 5276775 | System and method for building knowledge-based applications A method and system (10) associates a deductive reasoning system having a forward deductive reasoning portion (13), a backward deductive reasoning portion (15), and a frame template portion (18) with a constraint satisfaction system (12) within a unified ... | 01/04/1994 |
| 5272704 | Method and apparatus for generation of multi-branched diagnostic trees A method and apparatus for automated generation of multi-branched diagnostic trees is described. The present invention generally is practiced on model-based diagnostic systems and utilizes a candidate generator, constraint propagator and best measurement ... | 12/21/1993 |
| 5179631 | Neural network logic system A novel neural network implementation for logic systems has been developed. The neural network can determine whether a particular logic system and knowledge base are self-consistent, which can be a difficult problem for more complex systems. Through neura... | 01/12/1993 |
| 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 solver generating requests for propositional reasoning, and ... | 02/11/1992 |
| 4918621 | Method for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system In artificial intelligence, a method is provided for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system (ATMS) as a tool. The invention introduces the concepts of a nondeletion assumption and a deletion nogo... | 04/17/1990 |
| 4845665 | Simulation of computer program external interfaces A method for developing computer program external interfaces by simulating the interfaces to allow intended users to evaluate the design of the program, even before program code for the simulated program is created. The interfaces are executed as a simulated p... | 07/04/1989 |
