4042 search results - page 9 / 809 » The EXODUS Optimizer Generator |
SAT
2009
Springer
15 years 10 months ago
2009
Springer
166
Voted
COLT
2010
Springer
15 years 1 months ago
2010
Springer
Bandit convex optimization is a special case of online convex optimization with partial information. In this setting, a player attempts to minimize a sequence of adversarially gen...
154
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
141
click to vote
ATMOS
2010
15 years 2 months ago
2010
In this paper we address a real world optimisation problem, the Rail Track Inspection Scheduling Problem (RTISP). This problem consists of scheduling network inspection tasks. The...
136
Voted
ACL
2012
13 years 5 months ago
2012
SMT has been used in paraphrase generation by translating a source sentence into another (pivot) language and then back into the source. The resulting sentences can be used as can...