Sciweavers

2864 search results - page 388 / 573
» Constraint Programming in OPL
Sort
View
ANOR
2002
67views more  ANOR 2002»
13 years 9 months ago
An Improved Hybrid Model for the Generic Hoist Scheduling Problem
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
Daniel Riera, Neil Yorke-Smith
CGF
2000
72views more  CGF 2000»
13 years 9 months ago
Priority-Driven Acoustic Modeling for Virtual Environments
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
Patrick Min, Thomas A. Funkhouser
ENTCS
2002
99views more  ENTCS 2002»
13 years 9 months ago
Greatest Bisimulations for Binary Methods
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem...
Hendrik Tews
AUTOMATICA
2010
123views more  AUTOMATICA 2010»
13 years 7 months ago
On the computation of linear model predictive control laws
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
Francesco Borrelli, Mato Baotic, Jaroslav Pekar, G...
ACL
2010
13 years 7 months ago
Letter-Phoneme Alignment: An Exploration
Letter-phoneme alignment is usually generated by a straightforward application of the EM algorithm. We explore several alternative alignment methods that employ phonetics, integer...
Sittichai Jiampojamarn, Grzegorz Kondrak