2976 search results - page 73 / 596 » On the bounded integer programming |
CP
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
NDSS
2007
IEEE
14 years 5 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
ACL
2010
2010
Minimized Models and Grammar-Informed Initialization for Supertagging with Highly Ambiguous Lexicons
13 years 9 months ago
We combine two complementary ideas for learning supertaggers from highly ambiguous lexicons: grammar-informed tag transitions and models minimized via integer programming. Each st...
COLING
2010
13 years 6 months ago
2010
Model minimization has been shown to work well for the task of unsupervised part-of-speech tagging with a dictionary. In (Ravi and Knight, 2009), the authors invoke an integer pro...