12399 search results - page 2395 / 2480 » Deformable structural models |
188
click to vote
TPHOL
2009
IEEE
16 years 27 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
185
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
Coalition formation is a key topic in multi–agent systems (mas). Coalitions enable agents to achieve goals that they may not have been able to achieve independently, and encoura...
183
click to vote
CIKM
2009
Springer
16 years 26 days ago
2009
Springer
Understanding intents from search queries can improve a user’s search experience and boost a site’s advertising profits. Query tagging via statistical sequential labeling mode...
199
click to vote
CIVR
2009
Springer
16 years 26 days ago
2009
Springer
Many of the successful multimedia retrieval systems focus on developing efficient and effective video retrieval solutions with the help of appropriate index structures. In these ...
188
click to vote
DEXA
2009
Springer
16 years 25 days ago
2009
Springer
Tagging has become increasingly popular and useful across various social networks and applications. It allows users to classify and organize resources for improving the retrieval p...