1738 search results - page 111 / 348 » Local Consistency and SAT-Solvers |
SIAMJO
2008
13 years 10 months ago
2008
For a mathematical program with complementarity constraints (MPCC), we propose an active-set Newton method, which has the property of local quadratic convergence under the MPCC lin...
DEDS
2000
13 years 10 months ago
2000
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
IDA
2009
Springer
13 years 7 months ago
2009
Springer
We propose a method for trajectory classification based on trajectory voting in Moving Object Databases (MOD). Trajectory voting is performed based on local trajectory similarity. ...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose an algorithm creating consistent, dense disparity maps from incomplete disparity data generated by a conventional stereo system used in a wide-baseline configuration. T...