2171 search results - page 273 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
196
click to vote
PAMI
2011
15 years 1 months ago
2011
—Extracting high-quality dynamic foreground layers from a video sequence is a challenging problem due to the coupling of color, motion, and occlusion. Many approaches assume that...
168
click to vote
CP
2011
Springer
14 years 6 months ago
2011
Springer
Algorithm portfolios aim to increase the robustness of our ability to solve problems efficiently. While recently proposed algorithm selection methods come ever closer to identifyin...
208
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
183
click to vote
SI3D
2012
ACM
14 years 2 months ago
2012
ACM
A 4D parametric motion graph representation is presented for interactive animation from actor performance capture in a multiple camera studio. The representation is based on a 4D ...
153
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...