Sciweavers

639 search results - page 12 / 128
» Integer Programming Models for Optimization Problems in Test...
Sort
View
EMNLP
2008
15 years 1 months ago
Attacking Decipherment Problems Optimally with Low-Order N-gram Models
We introduce a method for solving substitution ciphers using low-order letter n-gram models. This method enforces global constraints using integer programming, and it guarantees t...
Sujith Ravi, Kevin Knight
CP
2007
Springer
15 years 3 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
JMLR
2006
145views more  JMLR 2006»
14 years 11 months ago
Ensemble Pruning Via Semi-definite Programming
An ensemble is a group of learning models that jointly solve a problem. However, the ensembles generated by existing techniques are sometimes unnecessarily large, which can lead t...
Yi Zhang 0006, Samuel Burer, W. Nick Street
ATMOS
2007
119views Optimization» more  ATMOS 2007»
15 years 1 months ago
Models for Railway Track Allocation
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
Ralf Borndörfer, Thomas Schlechte
AICCSA
2006
IEEE
86views Hardware» more  AICCSA 2006»
15 years 5 months ago
On the Optimal Deployment of Heterogeneous Sensing Devices
The problem of optimally deploying a heterogeneous set of sensing devices in environments with differential surveillance requirements is presented. The problem is formulated in th...
Rabie Ramadan, Khaled Abdelghany, Hesham El-Rewini