Sciweavers

269 search results - page 33 / 54
» Semidefinite Optimization Approaches for Satisfiability and ...
Sort
View
ICCV
2007
IEEE
16 years 1 months ago
Coupled Detection and Trajectory Estimation for Multi-Object Tracking
We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. It is formulated in a...
Bastian Leibe, Konrad Schindler, Luc J. Van Gool
CPAIOR
2010
Springer
14 years 9 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
GECCO
2008
Springer
131views Optimization» more  GECCO 2008»
15 years 24 days ago
The study for transportation planning considered the inventory using hybrid genetic algorithm
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
Shinichiro Ataka, Mitsuo Gen
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
14 years 11 months ago
Controllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
John Lygeros, Claire Tomlin, Shankar Sastry
CIKM
2010
Springer
14 years 6 months ago
On bootstrapping recommender systems
Recommender systems perform much better on users for which they have more information. This gives rise to a problem of satisfying users new to a system. The problem is even more a...
Nadav Golbandi, Yehuda Koren, Ronny Lempel