Sciweavers

5699 search results - page 717 / 1140
» Alternating model trees
Sort
View
MOR
2002
102views more  MOR 2002»
15 years 7 months ago
Facets of the Complementarity Knapsack Polytope
We present a polyhedral study of the complementarity knapsack problem. Traditionally, complementarity constraints are modeled by introducing auxiliary binary variables and additio...
Ismael R. de Farias Jr., Ellis L. Johnson, George ...
AMDO
2010
Springer
15 years 6 months ago
Estimating 3D Pose via Stochastic Search and Expectation Maximization
In this paper an approach is described to estimate 3D pose using a part based stochastic method. A proposed representation of the human body is explored defined over joints that e...
Ben Daubney, Xianghua Xie
ICRA
2010
IEEE
98views Robotics» more  ICRA 2010»
15 years 6 months ago
A segmentation guided label propagation scheme for autonomous navigation
Abstract— Navigating through unknown outdoor environments requires a robot to be able to see and model the far field terrain. In recent years this problem of seeing beyond relia...
Soumya Ghosh, Jane Mulligan
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 6 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
MP
2010
94views more  MP 2010»
15 years 6 months ago
MIR closures of polyhedral sets
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
Sanjeeb Dash, Oktay Günlük, Andrea Lodi