Quotables
"Rail travel at high speeds is not possible because passengers, unable to breathe, would die of asphyxia."
Dionysius Lardner, Professor of Natural Philosophy and Astronomy at University College, London ; 1830
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 |
| 8185421 | Multi-objective optimization within a constraint management system Multi-Objective Optimization (MOO) is integrated with a Constraint Management System (CMS) so as to rapidly and flexibly search large design spaces and focus on “interesting” designs as determined by user-specified criteria. A method embeds a trade space and its... | 05/22/2012 |
| 8108367 | Constraints with hidden rows in a database In an embodiment, a constraint is created for a database table. The constraint specifies a condition for a first column in the database table and an action. The action specifies whether data that violates the condition is allowed to be stored in the first column. A ... | 01/31/2012 |
| 8095486 | Discovering optimal system configurations using decentralized probability based active sampling A system and method for optimizing system performance includes applying sampling based optimization to identify optimal configurations of a computing system by selecting a number of configuration samples and evaluating system performance based on the samples. Based ... | 01/10/2012 |
| 8078557 | Use of neural networks for keyword generation A system for identifying keywords in search results includes a plurality of neurons connected as a neural network, the neurons being associated with words and documents. An activity regulator regulates a minimum and/or maximum number of neurons of the neural network... | 12/13/2011 |
| 8065246 | Clustering and classification employing softmax function including efficient bounds A function optimization method includes the operations of: constructing an upper bound using a double majorization bounding process to a sum-of-exponentials function including a summation of exponentials of the form | 11/22/2011 |
| 8010468 | Method for wafer analysis with artificial neural network and system thereof A method for wafer analysis with artificial neural network and the system thereof are disclosed. The method of the system of the present invention has several steps, including: first of all, providing a test unit for wafer test and generating a plurality of test dat... | 08/30/2011 |
| 7933849 | Integrated model predictive control of batch and continuous processes in a biofuel production process System and method for managing a biofuel production process. An integrated dynamic multivariate predictive model is provided that includes a continuous process model representing a continuous process of the biofuel production process, a batch process model represent... | 04/26/2011 |
| 7890439 | Tuning of problem solvers It is difficult to select parameter values for constraint programming problem solvers which will yield good performance. Automated tuning of such problem solvers on a per problem instance basis may be used and this involves learning a function for predicting the run... | 02/15/2011 |
| 7885906 | Problem solving system and method Provided is a problem solving system. More specifically, the problem solving system provides an interface operable to receive user supplied input data, the input data having at least one user defined characteristic. The system provides an algorithm pool having a plu... | 02/08/2011 |
| 7849028 | Electrical package analysis gateway A method and system is provided for analyzing a package having components. The package may include electrical or computer components. The method and system uses a computer program to receive inputted data and extract data from files. The computer program also select... | 12/07/2010 |
| 7797258 | Graphics system transposer read scheduler A graphics system includes a transposer. A read scheduler utilizes a minimum cost analysis to schedule a read transfer order for the transposer to minimize the total number of passes required to process a set of input vectors. ... | 09/14/2010 |
| 7788579 | Automated document layout design A method and apparatus for automated document layout creation is disclosed. In one embodiment, the method comprises receiving a first layout of document image objects and creating a second layout of document image objects subject to placement constraints correspondi... | 08/31/2010 |
| 7685079 | Methods for evaluating robustness of solutions to constraint problems Methods for evaluating robustness of solutions to constraint problems include: (a) determining one or more inputs for the constraint problem; (b) determining bias, uncertainty, or bias and uncertainty of the one or more inputs; (c) randomly perturbating at least one... | 03/23/2010 |
| 7680750 | Method of planning train movement using a three step optimization engine A method of scheduling network resources in a first domain by transforming the problem to a second domain, solving the problem and transforming back to the first domain. ... | 03/16/2010 |
| 7606776 | Flexible constraint propagation engine for combinatorial optimization applications The present disclosure describes a computer-implemented constraint propagation system that supports a variety of different constraint propagation and/or constraint retraction algorithms, including monotonic and/or non-monotonic algorithms. In one embodiment, the sys... | 10/20/2009 |
| 7596534 | Computer implemented methods for solving difference and non-difference linear constraints A computer implemented method for solving linear arithmetic constraints that combines a solver for difference constraints with a general linear arithmetic constraint solver. When used to solve sparse linear arithmetic constraints, the time and space complexity of th... | 09/29/2009 |
| 7587376 | Reformulation of constraint satisfaction problems for stochastic search A computer-implemented method for solving a constraint satisfaction problem (CSP), which is defined by variables and constraints applicable to the variables, and which has states corresponding to respective sets of values of the variables. The method includes assign... | 09/08/2009 |
| 7587375 | Optimization method and optimization apparatus The solution of a constrained optimization problem is easily solved by linearly approximating a point of interest to a first hypersurface given as a constraint and finding the extreme value of the objective function by moving a point r along a curved line having sec... | 09/08/2009 |
| 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. The conjunction or disjunction of these two formulas, then, is used to d... | 08/18/2009 |
| 7516109 | Automatically deriving logical, arithmetic and timing dependencies A mechanism for verifying system behavior includes: (1) A “constraint-based inference engine” and (2) a “constraint-based simulator.” The inference engine accepts logical/temporal/data dependencies describing a system implementation and automatically derives... | 04/07/2009 |
| 7472094 | Multi-ordered distributed constraint search A node participating in a network of nodes that solve a distributed constraint problem. The nodes have mutually constrained sub-problems of the constraint problem. The node receives values or decisions from neighbor nodes. Those values or decisions allow the sub-pro... | 12/30/2008 |
| 7461038 | Method and apparatus for evaluating robustness of proposed solution to constraint problem and considering robustness in developing a constraint problem solution In an embodiment of a method of evaluating robustness of a proposed solution to a constraint problem, operational output data for at least first and second modified versions of the proposed solution is generated. The first modified version has at least one control v... | 12/02/2008 |
| 7457789 | Configuration assistance for complex products Disclosed are interactive computer-implemented support solutions for facilitating the configuration of complex artifacts having characteristics that vary over a relatively wide range of possibilities. The artifact is defined by a configuration model and its features... | 11/25/2008 |
| 7444309 | Method and system for implementing evolutionary algorithms A method, computer program storage medium and system that implement evolutionary algorithms on heterogeneous computers; in which a central process resident in a central computer delegates subpopulations of individuals of similar fitness from a central pool to separa... | 10/28/2008 |
| 7433851 | System and method for inferring geological classes A system for inferring geological classes from oilfield well input data is described using a neural network for inferring class probabilities and class sequencing knowledge and optimising the class probabilities according to the sequencing knowledge. ... | 10/07/2008 |
| 7424465 | Method and computer for experimental design Method and system for designing experiments by selecting at least a first experiment from an experimental space using a data-driven optimizer, receiving experimentally determined data, evaluating the experimentally determined data at a mata layer module, processing ... | 09/09/2008 |
| 7409377 | Accelerated solution of constraint satisfaction problems by partitioning of the variable space Methods, systems and apparatus for modeling a target system includes defining a constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables, each having a respective input domain, and initial constraints applicable to th... | 08/05/2008 |
| 7409247 | Method and system for estimating a quantity of particles emitted in the exhaust gas of a diesel engine for a motor vehicle The inventive system for estimating quantities of pollution compounds emitted in the exhaust gas of a diesel engine for a motor vehicle comprises means for regenerating a solid particle filter and an electronic control unit which manages the engine operation and is ... | 08/05/2008 |
| 7400935 | Method for implementing indirect controller A system and method for implementing an indirect controller for a plant. A plant can be provided with both a direct controller and an indirect controller with a system model or a committee of system models. When the system model has sufficient integrity to satisfy t... | 07/15/2008 |
| 7398258 | Dimensional reduction using data matching in high dimensional space A method is provided to match an unknown data point with a known data point contained in a multi-dimensional data structure. The method may include receiving data from any multi-dimensional source where a query may be used to locate specific data points within that ... | 07/08/2008 |
| 7398257 | Multiobjective optimization apparatus, multiobjective optimization method and multiobjective optimization program A multiobjective evolutionary algorithm unit feeds a set of parameters of an individual to a search history storage device in a fitness estimating unit and to an optimization target. The optimization target outputs a set of sampled values of fitnesses on the basis o... | 07/08/2008 |
| 7376550 | Simulation of network traffic using non-deterministic user behavior models A network testing environment includes a control server and a testing cluster composed of one or more load generating devices. The load generating devices output network communications in a non-deterministic manner to model real-world network users and test a networ... | 05/20/2008 |
| 7376633 | Configurational density process and structure A computer program product is described for solving the traveling salesman problem in polynomial time. The probability distribution of the space of all paths is modeled in a configurational density distribution. A Hamiltonian is constructed specifying the costs, dis... | 05/20/2008 |
| 7363281 | Reduction of fitness evaluations using clustering techniques and neural network ensembles The invention relates to an evolutionary optimization method. First, an initial population of individuals is set up and an original fitness function is applied. Then the offspring individuals having a high evaluated quality value as parents are selected. In a third ... | 04/22/2008 |
| 7356519 | Method and system for solving satisfiability problems A method and system for solving satisfiability problems is disclosed. In one embodiment, clauses in a satisfiability problem are organized as a chronologically ordered stack. In another embodiment, the activity of each variable in the satisfiability problem is monit... | 04/08/2008 |
| 7346592 | Method and an apparatus for predicting intake manifold pressure of an internal-combustion engine A method and an apparatus for predicting intake manifold pressure are presented, to compensate for a large lag or a large time delay without producing an overshot or discontinuous behaviors of a predicted value. The method comprises the step of obtaining a differenc... | 03/18/2008 |
| 7340440 | Hybrid neural network generation system and method A computer-implemented method and system for building a neural network is disclosed. The neural network predicts at least one target based upon predictor variables defined in a state space. First, an input data set is retrieved that includes the predictor variables ... | 03/04/2008 |
| 7333968 | Conditional CSP solving using constraint propagation A computer-implemented method for modeling a target system includes defining a conditional constraint satisfaction problem (CondCSP) that characterizes the target system in terms of problem variables and constraints applicable to the problem variables. The constrain... | 02/19/2008 |
| 7333906 | Quality analysis including cumulative deviation determination A device and technique for monitoring the quality of a manufacturing process, a resulting part or both includes determining a cumulative deviation of an actual process signature from an expected signature. A disclosed example includes determining a quantitative valu... | 02/19/2008 |
| 7324978 | Method and apparatus for creating consistent risk forecasts and for aggregating factor models An invention forcing an aggregate risk model to be consistent with standalone models is provided. A revising transformation parameterized over and an objective function minimized over, the orthogonal group are provided, least changing cross blocks of covariance matr... | 01/29/2008 |
