9572 search results - page 1722 / 1915 » Cover Algorithms and Their Combination |
168
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
154
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
based on extended set-membership filter (ESMF) and the path planning method in relative velocity coordinates (RVCs), a new 3D multiple Unmanned Aerial Vehicle (UAV) systems active ...
132
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Display ads on the Internet are increasingly sold via ad exchanges such as RightMedia, AdECN and Doubleclick Ad Exchange. These exchanges allow real-time bidding, that is, each ti...
171
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
Our objective is to improve the performance of keyword based image search engines by re-ranking their baseline results. To this end, we address three limitations of existing searc...
166
click to vote
TIP
2010
14 years 11 months ago
2010
Camera networks are being deployed for various applications like security and surveillance, disaster response and environmental modeling. However, there is little automated process...