US5367619A
(en)
*
|
1990-04-27 |
1994-11-22 |
Eaton Corporation |
Electronic data entry system employing an expert system to facilitate generation of electronic data forms with complex interrelationships between fields and subforms
|
US5212771A
(en)
*
|
1990-04-27 |
1993-05-18 |
Bachman Information Systems, Inc. |
System for establishing concurrent high level and low level processes in a diagram window through process explosion and implosion subsystems
|
US5301284A
(en)
*
|
1991-01-16 |
1994-04-05 |
Walker-Estes Corporation |
Mixed-resolution, N-dimensional object space method and apparatus
|
US5311424A
(en)
*
|
1991-06-28 |
1994-05-10 |
International Business Machines Corporation |
Method and system for product configuration definition and tracking
|
JPH0689314A
(en)
*
|
1992-04-16 |
1994-03-29 |
Hitachi Ltd |
Design assisting system and device therefor
|
JPH0648052A
(en)
*
|
1992-06-01 |
1994-02-22 |
Ricoh Co Ltd |
Sublimation type thermal transfer recording medium
|
US6002854A
(en)
*
|
1993-03-29 |
1999-12-14 |
Trilogy Developmetn Group, Inc. |
Method and apparatus for configuring systems
|
US5809212A
(en)
*
|
1993-07-12 |
1998-09-15 |
New York University |
Conditional transition networks and computational processes for use interactive computer-based systems
|
DE69328103T2
(en)
*
|
1993-11-26 |
2000-09-21 |
Bull Sa |
Procedure for automatic evidence in an unrestricted first degree logic
|
US5500802A
(en)
*
|
1994-05-31 |
1996-03-19 |
Morris; James M. |
System and method for creating configurators using templates
|
US5630025A
(en)
*
|
1994-07-13 |
1997-05-13 |
Unisys Corporation |
Generalized configurator using a declaratively constructed two-level bi-partite graph as a knowledge representation
|
US5701400A
(en)
*
|
1995-03-08 |
1997-12-23 |
Amado; Carlos Armando |
Method and apparatus for applying if-then-else rules to data sets in a relational data base and generating from the results of application of said rules a database of diagnostics linked to said data sets to aid executive analysis of financial data
|
US6519767B1
(en)
*
|
1995-06-07 |
2003-02-11 |
Microsoft Corporation |
Compiler and method for automatically building version compatible object applications
|
US5805462A
(en)
*
|
1995-08-18 |
1998-09-08 |
Vlsi Technology, Inc. |
Automatic synthesis of integrated circuits employing boolean decomposition
|
US5745765A
(en)
*
|
1995-10-23 |
1998-04-28 |
Calico Technology, Inc. |
Method and apparatus for automatic and interactive configuration of custom products
|
US6598035B2
(en)
*
|
1995-11-17 |
2003-07-22 |
International Business Machines Corporation |
Object oriented rule-based expert system framework mechanism
|
US5910898A
(en)
*
|
1995-12-14 |
1999-06-08 |
Viewlogic Systems, Inc. |
Circuit design methods and tools
|
US5924077A
(en)
*
|
1995-12-29 |
1999-07-13 |
Sapient Solutions, Llc |
Computer based system for monitoring and processing data collected at the point of sale of goods and services
|
US5844554A
(en)
*
|
1996-09-17 |
1998-12-01 |
Bt Squared Technologies, Inc. |
Methods and systems for user interfaces and constraint handling configurations software
|
US5889993A
(en)
*
|
1996-10-15 |
1999-03-30 |
The Regents Of The University Of California |
Predictive event tracking method
|
US6035305A
(en)
*
|
1997-08-29 |
2000-03-07 |
The Boeing Company |
Computer-based method of structuring product configuration information and configuring a product
|
US5987473A
(en)
*
|
1997-09-09 |
1999-11-16 |
Beologic A/S |
Interactive configuration via network
|
US6016394A
(en)
*
|
1997-09-17 |
2000-01-18 |
Tenfold Corporation |
Method and system for database application software creation requiring minimal programming
|
US6076080A
(en)
*
|
1997-11-04 |
2000-06-13 |
The Standard Register Company |
Forms order entry system
|
US6064982A
(en)
*
|
1997-11-12 |
2000-05-16 |
Netscape Communication Corporation |
Smart configurator
|
US6182275B1
(en)
*
|
1998-01-26 |
2001-01-30 |
Dell Usa, L.P. |
Generation of a compatible order for a computer system
|
US6031984A
(en)
*
|
1998-03-09 |
2000-02-29 |
I2 Technologies, Inc. |
Method and apparatus for optimizing constraint models
|
IL138291A0
(en)
|
1998-03-16 |
2001-10-31 |
Array Technology Aps |
A database useful for configuring and/ or optimizing system and a method for generating the database
|
US5963953A
(en)
*
|
1998-03-30 |
1999-10-05 |
Siebel Systems, Inc. |
Method, and system for product configuration
|
US6327581B1
(en)
|
1998-04-06 |
2001-12-04 |
Microsoft Corporation |
Methods and apparatus for building a support vector machine classifier
|
US6256618B1
(en)
*
|
1998-04-23 |
2001-07-03 |
Christopher Spooner |
Computer architecture using self-manipulating trees
|
US6349290B1
(en)
*
|
1998-06-30 |
2002-02-19 |
Citibank, N.A. |
Automated system and method for customized and personalized presentation of products and services of a financial institution
|
US6529890B1
(en)
*
|
1998-08-19 |
2003-03-04 |
Ensys, Inc. |
Method for representing synoptic climatology information in a class-object-attribute hierarchy and an expert system for obtaining synoptic climatology information
|
US6567814B1
(en)
*
|
1998-08-26 |
2003-05-20 |
Thinkanalytics Ltd |
Method and apparatus for knowledge discovery in databases
|
US6163876A
(en)
*
|
1998-11-06 |
2000-12-19 |
Nec Usa, Inc. |
Method for verification of RTL generated from scheduled behavior in a high-level synthesis flow
|
US6226656B1
(en)
*
|
1998-11-12 |
2001-05-01 |
Sourcefinder, Inc. |
System and method for creating, generating and processing user-defined generic specs
|
US6396488B1
(en)
*
|
1999-01-04 |
2002-05-28 |
Corel Inc. |
System and method for determining a path in a graphical diagram
|
WO2000055753A2
(en)
*
|
1999-03-09 |
2000-09-21 |
State Of Oregon Acting By And Through The State Board Of Higher Education On Behalf Of The University Of Oregon |
Satisfiability algorithms and finite quantification
|
US6651096B1
(en)
*
|
1999-04-20 |
2003-11-18 |
Cisco Technology, Inc. |
Method and apparatus for organizing, storing and evaluating access control lists
|
US6442732B1
(en)
*
|
1999-04-21 |
2002-08-27 |
Lucent Technologies, Inc. |
Virtual logic system for solving satisfiability problems using reconfigurable hardware
|
US6321186B1
(en)
*
|
1999-05-03 |
2001-11-20 |
Motorola, Inc. |
Method and apparatus for integrated circuit design verification
|
US6535883B1
(en)
*
|
1999-08-04 |
2003-03-18 |
Mdsi Software Srl |
System and method for creating validation rules used to confirm input data
|
GB9920661D0
(en)
*
|
1999-09-01 |
1999-11-03 |
Ncr Int Inc |
Expert system
|
US6389576B1
(en)
*
|
1999-09-02 |
2002-05-14 |
Sun Microsystems, Inc. |
Method and apparatus for optimizing real functions in Boolean domain
|
US6385617B1
(en)
|
1999-10-07 |
2002-05-07 |
International Business Machines Corporation |
Method and apparatus for creating and manipulating a compressed binary decision diagram in a data processing system
|
JP3974300B2
(en)
*
|
1999-11-18 |
2007-09-12 |
松下電器産業株式会社 |
IP-based LSI design system and design method
|
US20010029499A1
(en)
|
1999-12-30 |
2001-10-11 |
Tuatini Jeffrey Taihana |
Rules processing system
|
US20020078431A1
(en)
|
2000-02-03 |
2002-06-20 |
Reps Thomas W. |
Method for representing information in a highly compressed fashion
|
US6658458B1
(en)
*
|
2000-06-22 |
2003-12-02 |
Cisco Technology, Inc. |
Cascading associative memory arrangement
|
US20020178432A1
(en)
*
|
2000-08-17 |
2002-11-28 |
Hyungwon Kim |
Method and system for synthesizing a circuit representation into a new circuit representation having greater unateness
|
US7653566B2
(en)
|
2000-11-30 |
2010-01-26 |
Handysoft Global Corporation |
Systems and methods for automating a process of business decision making and workflow
|
CN1479904A
(en)
*
|
2000-12-08 |
2004-03-03 |
˹��Ʒ�˹ɷݹ�˾ |
Method of configuring product using directed acyclic graph
|
US6564358B2
(en)
|
2000-12-11 |
2003-05-13 |
Intel Corporation |
Method and system for formal verification of a circuit model using binary decision diagrams
|
US7130783B1
(en)
*
|
2001-01-12 |
2006-10-31 |
Synopsys, Inc. |
Simulation-based functional verification of microcircuit designs
|
US6587998B2
(en)
|
2001-01-16 |
2003-07-01 |
International Business Machines Corporation |
Searching for counter-examples intelligently
|
US6952812B2
(en)
*
|
2001-02-13 |
2005-10-04 |
Freescale Semiconductor, Inc. |
Design analysis tool for path extraction and false path identification and method thereof
|
US7188091B2
(en)
*
|
2001-03-21 |
2007-03-06 |
Resolutionebs, Inc. |
Rule processing system
|
US6965887B2
(en)
*
|
2001-03-21 |
2005-11-15 |
Resolutionebs, Inc. |
Rule processing methods for automating a decision and assessing satisfiability of rule-based decision diagrams
|
US6795832B2
(en)
*
|
2001-10-09 |
2004-09-21 |
Hewlett-Packard Development Company, L.P. |
Rule based compatibility module
|
US7188333B1
(en)
|
2001-12-28 |
2007-03-06 |
Sprint Communications Company L.P. |
Product incompatibility system
|
CA2479342A1
(en)
|
2002-03-20 |
2003-10-02 |
Resolutionebs, Inc. |
Rule processing system and method
|
US7587379B2
(en)
*
|
2002-03-20 |
2009-09-08 |
Huelsman David L |
Method and system for capturing business rules for automated decision procession
|
US20040138988A1
(en)
*
|
2002-12-20 |
2004-07-15 |
Bart Munro |
Method to facilitate a search of a database utilizing multiple search criteria
|
US6983187B2
(en)
*
|
2003-08-14 |
2006-01-03 |
Sap Aktiengesellschaft |
Method and system for automatically generating selection conditions in a product configuration system
|
US7587380B2
(en)
*
|
2003-09-29 |
2009-09-08 |
Huelsman David L |
Rule processing method, apparatus, and computer-readable medium to generate valid combinations for selection
|
US7552102B2
(en)
*
|
2003-09-29 |
2009-06-23 |
Huelsman David L |
Rule processing method, apparatus, and computer-readable medium to provide improved selection advice
|
US7734559B2
(en)
*
|
2004-09-28 |
2010-06-08 |
Huelsman David L |
Rule processing method and apparatus providing exclude cover removal to simplify selection and/or conflict advice
|
US7702507B2
(en)
*
|
2005-11-10 |
2010-04-20 |
Symbol Technologies, Inc. |
Voice activated rapid deployment for mobile computers
|
US7378966B2
(en)
*
|
2006-01-04 |
2008-05-27 |
Microsoft Corporation |
RFID device groups
|
US20070290791A1
(en)
*
|
2006-06-09 |
2007-12-20 |
Intelleflex Corporation |
Rfid-based security systems and methods
|