7167 search results - page 319 / 1434 » A Technique for Invariant Generation |
224
click to vote
WCE
2007
15 years 8 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
343
click to vote
LACL
2011
Springer
14 years 10 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
198
click to vote
ISSRE
2000
IEEE
15 years 12 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
205
click to vote
CORR
2010
Springer
15 years 7 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...
229
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The development of algorithms to infer the structure of gene regulatory networks based on expression data is an important subject in bioinformatics research. Validatio...