Sciweavers

269 search results - page 33 / 54
» Semidefinite Optimization Approaches for Satisfiability and ...
Sort
View
ICCV
2007
IEEE
14 years 9 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
13 years 5 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»
13 years 8 months 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»
13 years 7 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
13 years 2 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