Patents by Inventor Joyce Ng
Joyce Ng has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 9443210Abstract: A product configurator comprises a constraint network having a plurality of nodes. The configurator allows a modeler to designate that one of more nodes of a configuration are input-required nodes. During an interactive session, the configurator may receive a request for an auto-completion of the configuration. The configurator will determine if an input has been received for the input-required nodes, and prohibit the auto-completion if the input has not been received.Type: GrantFiled: November 24, 2008Date of Patent: September 13, 2016Assignee: Oracle International CorporationInventors: Claire M. Bagley, David J. Kulik, Joyce Ng, Martin P. Plotkin, Gao Chen, Michael Colena
-
Patent number: 8751425Abstract: A solver solves constraint satisfaction problems. The solver receives a user decision and propagates the user decision over a constraint satisfaction problem network. The solver then determines if there is a conflict on the network based on the propagation. If there is a conflict, the solver allows a user to resolve the conflict interactively by either canceling the user decision or dropping one or more previously made user decisions.Type: GrantFiled: June 12, 2009Date of Patent: June 10, 2014Assignee: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng, Gao Chen
-
Patent number: 8458050Abstract: A product configurator includes a constraint based network that includes a plurality of nodes. The configurator receives one or more user selections and generates one or more automatic selections to form a complete configuration. The configurator receives a request to change the configuration after forming the complete configuration, and retracts the automatic selections. For each of the retracted automatic selections, the configurator determines if the retracted automatic selection is a configuration-defining selection and reasserts the configuration-defining selections.Type: GrantFiled: November 13, 2008Date of Patent: June 4, 2013Assignee: Oracle International CorporationInventors: Claire M. Bagley, Martin P. Plotkin, David J. Kulik, Michael Colena, Gao Chen, Joyce Ng
-
Patent number: 8447716Abstract: A constraint solver for solving a constraint satisfaction problem network that comprises a plurality of nodes and a plurality of constraints. The solver receives a request to remove an inferred problem association and determines one or more user decisions that triggered the inferred problem association.Type: GrantFiled: July 27, 2009Date of Patent: May 21, 2013Assignee: Oracle International CorporationInventors: Claire M. Bagley, Gao Chen, Joyce Ng
-
Patent number: 8386544Abstract: Systems and methods for managing floating point variables are described in the present disclosure. According to one example, an embodiment of a method includes analyzing a constraint on a floating point variable in a system that supports both floating point variables and integer variables. The constraint is designed to have the ability to numerically limit the domain of the floating point variable. The method also includes determining whether or not the floating point variable can be handled as an integer variable and converting the floating point variable to a pseudo integer variable when it is determined that the floating point variable can be handled as an integer variable. This conversion of the floating point variable to a pseudo integer variable allows the domain of the floating point variable to be processed as an integer domain.Type: GrantFiled: February 5, 2009Date of Patent: February 26, 2013Assignee: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng
-
Patent number: 8229869Abstract: Systems and methods for managing floating point variables are described in the present disclosure. According to one example, an embodiment of a method is described. The method comprises providing a floating point variable having a domain that includes a flag representing whether a specific value is included in or excluded from the domain of the floating point variable. The method also includes analyzing a constraint on the floating point variable to determine if the constraint excludes the specific value from the domain of the floating point variable. A value of the flag is manipulated to indicate that the specific value is excluded from the domain of the floating point variable if it is determined that the constraint excludes the specific value. In some cases, the specific value can be the value zero, for example.Type: GrantFiled: April 22, 2009Date of Patent: July 24, 2012Inventors: Claire M. Bagley, Joyce Ng
-
Patent number: 8229870Abstract: A solver for a constraint satisfaction problem includes a plurality of variables and a plurality of constraints. A floating point variable has a domain and is assigned a value by first determining if a predetermined value can be assigned to the floating point variable if the predetermined value is in the domain. If not, the solver determines if a bound of the domain can be assigned to the floating point variable. If the predetermined value can not be assigned to the floating point variable and the bound of the domain can not be assigned to the floating point variable, the solver assigns a value to the floating point variable using domain splitting.Type: GrantFiled: April 28, 2009Date of Patent: July 24, 2012Assignee: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng, Gao Chen, Martin P. Plotkin
-
Patent number: 8209276Abstract: A constraint based system solves a network that includes a first variable node having a first integer domain, a second variable node having a second integer domain, and a constraint for the first variable node and the second variable node. The system retrieves a first integer domain representation of the first integer domain and a second integer domain representation of the second integer domain and determines from the first and second integer domain representations if the first integer domain or second integer domain has at least one excluded value. The system then determines a type of constraint consistency checking based on whether the integer domains have at least one excluded value.Type: GrantFiled: October 27, 2008Date of Patent: June 26, 2012Assignee: Oracle International CorporationInventors: Michael Colena, Joyce Ng, Claire M. Bagley
-
Patent number: 8170970Abstract: A constraint solver solves a constraint satisfaction problem (“CSP”) that includes a network of variables and constraints. The solver receives a sub-expression and determines if the sub-expression is an internal constraint of the CSP. The internal constraint has a supporting operator expression. If the sub-expression is an internal constraint, the solver determines any or all top constraint expressions associated with the supporting operator expression.Type: GrantFiled: June 24, 2009Date of Patent: May 1, 2012Assignee: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng, Michael Colena, Gao Chen
-
Publication number: 20110022557Abstract: A constraint solver for solving a constraint satisfaction problem network that comprises a plurality of nodes and a plurality of constraints. The solver receives a request to remove an inferred problem association and determines one or more user decisions that triggered the inferred problem association.Type: ApplicationFiled: July 27, 2009Publication date: January 27, 2011Applicant: ORACLE INTERNATIONAL CORPORATIONInventors: Claire M. BAGLEY, Gao CHEN, Joyce NG
-
Publication number: 20100332435Abstract: A constraint solver solves a constraint satisfaction problem (“CSP”) that includes a network of variables and constraints. The solver receives a sub-expression and determines if the sub-expression is an internal constraint of the CSP. The internal constraint has a supporting operator expression. If the sub-expression is an internal constraint, the solver determines any or all top constraint expressions associated with the supporting operator expression.Type: ApplicationFiled: June 24, 2009Publication date: December 30, 2010Applicant: Oracle International CorporationInventors: Claire M. BAGLEY, Joyce NG, Michael COLENA, Gao CHEN
-
Publication number: 20100318483Abstract: A solver solves constraint satisfaction problems. The solver receives a user decision and propagates the user decision over a constraint satisfaction problem network. The solver then determines if there is a conflict on the network based on the propagation. If there is a conflict, the solver allows a user to resolve the conflict interactively by either canceling the user decision or dropping one or more previously made user decisions.Type: ApplicationFiled: June 12, 2009Publication date: December 16, 2010Applicant: ORACLE INTERNATIONAL CORPORATIONInventors: Claire M. Bagley, Joyce Ng, Gao Chen
-
Publication number: 20100274749Abstract: A solver for a constraint satisfaction problem includes a plurality of variables and a plurality of constraints. A floating point variable has a domain and is assigned a value by first determining if a predetermined value can be assigned to the floating point variable if the predetermined value is in the domain. If not, the solver determines if a bound of the domain can be assigned to the floating point variable. If the predetermined value can not be assigned to the floating point variable and the bound of the domain can not be assigned to the floating point variable, the solver assigns a value to the floating point variable using domain splitting.Type: ApplicationFiled: April 28, 2009Publication date: October 28, 2010Applicant: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng, Gao Chen, Martin P. Plotkin
-
Publication number: 20100274747Abstract: Systems and methods for managing floating point variables are described in the present disclosure. According to one example, an embodiment of a method is described. The method comprises providing a floating point variable having a domain that includes a flag representing whether a specific value is included in or excluded from the domain of the floating point variable. The method also includes analyzing a constraint on the floating point variable to determine if the constraint excludes the specific value from the domain of the floating point variable. A value of the flag is manipulated to indicate that the specific value is excluded from the domain of the floating point variable if it is determined that the constraint excludes the specific value. In some cases, the specific value can be the value zero, for example.Type: ApplicationFiled: April 22, 2009Publication date: October 28, 2010Applicant: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng
-
Publication number: 20100198901Abstract: Systems and methods for managing floating point variables are described in the present disclosure. According to one example, an embodiment of a method includes analyzing a constraint on a floating point variable in a system that supports both floating point variables and integer variables. The constraint is designed to have the ability to numerically limit the domain of the floating point variable. The method also includes determining whether or not the floating point variable can be handled as an integer variable and converting the floating point variable to a pseudo integer variable when it is determined that the floating point variable can be handled as an integer variable. This conversion of the floating point variable to a pseudo integer variable allows the domain of the floating point variable to be processed as an integer domain.Type: ApplicationFiled: February 5, 2009Publication date: August 5, 2010Applicant: Oracle International CorporationInventors: Claire M. Bagley, Joyce Ng
-
Publication number: 20100131872Abstract: A product configurator comprises a constraint network having a plurality of nodes. The configurator allows a modeler to designate that one of more nodes of a configuration are input-required nodes. During an interactive session, the configurator may receive a request for an auto-completion of the configuration. The configurator will determine if an input has been received for the input-required nodes, and prohibit the auto-completion if the input has not been received.Type: ApplicationFiled: November 24, 2008Publication date: May 27, 2010Applicant: Oracle International CorporationInventors: Claire M. Bagley, David J. Kulik, Joyce Ng, Martin P. Plotkin, Gao Chen, Michael Colena
-
Publication number: 20100106670Abstract: A constraint based system solves a network that includes a first variable node having a first integer domain, a second variable node having a second integer domain, and a constraint for the first variable node and the second variable node. The system retrieves a first integer domain representation of the first integer domain and a second integer domain representation of the second integer domain and determines from the first and second integer domain representations if the first integer domain or second integer domain has at least one excluded value. The system then determines a type of constraint consistency checking based on whether the integer domains have at least one excluded value.Type: ApplicationFiled: October 27, 2008Publication date: April 29, 2010Applicant: Oracle International CorporationInventors: Michael Colena, Joyce Ng, Claire M. Bagley
-
Publication number: 20100036747Abstract: A product configurator includes a constraint based network that includes a plurality of nodes. The configurator receives one or more user selections and generates one or more automatic selections to form a complete configuration. The configurator receives a request to change the configuration after forming the complete configuration, and retracts the automatic selections. For each of the retracted automatic selections, the configurator determines if the retracted automatic selection is a configuration-defining selection and reasserts the configuration-defining selections.Type: ApplicationFiled: November 13, 2008Publication date: February 11, 2010Applicant: Oracle International CorporationInventors: Claire M. Bagley, Martin P. Plotkin, David J. Kulik, Michael Colena, Gao Chen, Joyce Ng