1176 search results - page 166 / 236 » Implicit Abstraction Heuristics |
112
Voted
WIOPT
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—We focus on resource allocation for energy harvesting devices. We analytically and numerically evaluate the performance of algorithms that determine time fair energy all...
168
Voted
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract— In this work we focus on mission planning problems in scenarios in which a carrier vehicle, typically slow but with virtually infinite range, and a carried vehicle, wh...
112
click to vote
CADE
2011
Springer
14 years 16 days ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
140
click to vote
SOCO
2012
Springer
13 years 8 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...
199
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...