3475 search results - page 237 / 695 » A DEA approach for model combination |
154
click to vote
TASE
2007
IEEE
16 years 27 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...
184
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a learnt data-driven approach for accurate, real-time tracking of facial features using only intensity information. Constraints such as a-priori shape models o...
194
click to vote
ACL
2011
14 years 10 months ago
2011
Information extraction (IE) holds the promise of generating a large-scale knowledge base from the Web’s natural language text. Knowledge-based weak supervision, using structured...
220
click to vote
MTA
2011
14 years 9 months ago
2011
This paper presents a novel approach for individual agent’s motion simulation in real-time virtual environments. In our model, we focus on addressing two problems: 1) the control...
193
click to vote
AAAI
2012
13 years 9 months ago
2012
Recent work on planning in incomplete domains focuses on constructing plans that succeed despite incomplete knowledge of action preconditions and effects. As planning models becom...