4083 search results - page 297 / 817 » The EvA2 Optimization Framework |
170
click to vote
ECBS
2003
IEEE
16 years 7 hour ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
178
click to vote
HICSS
2003
IEEE
16 years 5 hour ago
2003
IEEE
Inductive representation of conditional knowledge means to complete knowledge appropriately and can be looked upon as an instance of quite a general representation problem. The cr...
163
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
186
click to vote
EUROGP
2010
Springer
15 years 11 months ago
2010
Springer
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...
185
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we provide a framework of detection and localization of multiple similar shapes or object instances from an image based on shape matching. There are three challenges...