HLT-NAACL '06 Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics
Concepts inA fast finite-state relaxation method for enforcing global constraints on sequence decoding
Relaxation (iterative method)
In numerical mathematics, relaxation methods are iterative methods for solving systems of equations, including nonlinear systems. Relaxation methods were developed for solving large sparse linear systems, which arose as finite-difference discretizations of differential equations. They are also used for the solution of linear equations for linear least-squares problems and also for systems of linear inequalities, such as those arising in linear programming.
more from Wikipedia
Constraint optimization
In constraint satisfaction, constrained optimization (also called constraint optimization) seeks for a solution maximizing or minimizing a cost function.
more from Wikipedia
Integer programming
An integer programming problem is a mathematical optimization or feasibility program in which some or all of the variables are restricted to be integers. In many settings the term refers to integer linear programming, which is also known as mixed integer programming when some but not all the variables are restricted to be integers. Integer programming is NP-hard. A special case, 0-1 integer linear programming, in which unknowns are binary, is one of the Karp's 21 NP-complete problems.
more from Wikipedia
Constraint (mathematics)
In mathematics, a constraint is a condition that a solution to an optimization problem is required by the problem itself to satisfy. There are two types of constraints: equality constraints and inequality constraints. The set of candidate solutions that satisfy all constraints is called the feasible set.
more from Wikipedia
Iterative method
In computational mathematics, an iterative method is a mathematical procedure that generates a sequence of improving approximate solutions for a class of problems. A specific implementation of an iterative method, including the termination criteria, is an algorithm of the iterative method. An iterative method is called convergent if the corresponding sequence converges for given initial approximations.
more from Wikipedia
Sequence
In mathematics, a sequence is an ordered list of objects (or events). Like a set, it contains members (also called elements), and the number of ordered element (possibly infinite) is called the length of the sequence. Unlike a set, order matters, and exactly the same elements can appear multiple times at different positions in the sequence. A sequence is a discrete function. For example, (C, R, Y) is a sequence of letters that differs from (Y, C, R), as the ordering matters.
more from Wikipedia