6894 search results - page 176 / 1379 » Generation Problems |
199
click to vote
ENDM
2010
15 years 3 months ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
143
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Integrating volatile renewable energy resources into the bulk power grid is challenging, due to the reliability requirement that at each instant the load and generation in the syst...
204
click to vote
EACL
2010
ACL Anthology
15 years 4 months ago
2010
ACL Anthology
Until recently, referring expression generation (reg) research focused on the task of selecting the semantic content of definite mentions of listener-familiar discourse entities. I...
161
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...