1456 search results - page 43 / 292 » Two Techniques to Improve Finite Model Search |
FGR
2006
IEEE
13 years 11 months ago
2006
IEEE
Active statistical models including active shape models and active appearance models are very powerful for face alignment. They are composed of two parts: the subspace model(s) an...
ICDE
2010
IEEE
13 years 8 months ago
2010
IEEE
— As person names are non-unique, the same name on different Web pages might or might not refer to the same real-world person. This entity identification problem is one of the m...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— One primary goal in rescue robotics is to deploy a team of robots for coordinated victim search after a disaster. This requires robots to perform subtasks, such as victim detec...
TSE
2010
13 years 2 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
ECIR
2010
Springer
13 years 9 months ago
2010
Springer
Current video search systems commonly return video shots as results. We believe that users may better relate to longer, semantic video units and propose a retrieval framework for n...