Resources Contact Us Home
Browse by: INVENTOR PATENT HOLDER PATENT NUMBER DATE
 
 
Inventor:
Chen; Gao
Address:
Beijing, CN
No. of patents:
4
Patents:












Patent Number Title Of Patent Date Issued
8229870 Constraint based system with domain splitting July 24, 2012
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 predetermine
8170970 Constraint based system that identifies top constraint expressions May 1, 2012
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
8165980 Dynamic constraint solver with cross problem constraints April 24, 2012
A dynamic constraint solver solves a constraint satisfaction problem that includes a problem having zero or more ports, and zero or more sub-problems coupled to the zero or more ports. The solver stores a cross problem constraint template for cross problem constraints. The solver rec
8126834 Dynamic constraint satisfaction problem solver with hierarchical union constraints February 28, 2012
A dynamic constraint solver system for solving a constraint satisfaction problem model includes a plurality of ports. The system defines a hierarchical union that includes all problems in a lower port that is in a problem under another port in the model. The system generates a constr










 
 
  Recently Added Patents
Method for detecting motion of an electrical device or apparatus
Topology discovery, control channel establishment, and datapath provisioning within an aggregation network with centralized control
Method for maintaining a driver-independent braking intervention after a collision
Apparatus with a local timing circuit that generates a multi-phase timing signal for a digital signal processing circuit
Light emitting diode package and method of fabricating the same
Method and system for generating and displaying an interactive dynamic graph view of multiply connected objects
System and method for converting biomass to ethanol via syngas
  Randomly Featured Patents
Fuel cell power plant having a fuel concentration sensor cell
Open compression-type coaxial cable connector
Turbine speed control
Nonlinearity compensation of laser diode and other semiconductor diodes
Plate
CO.sub.2 commodity trading system and method
Toilet tank lever
Complier assisted victim cache bypassing
Fan clutch holding tool
Nanoparticle coatings for flexible and/or drawable substrates