876 search results - page 60 / 176 » Propagating Class and Method Combination |
CSL
1994
Springer
15 years 1 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
IJCAI
1989
14 years 11 months ago
1989
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully ...
ICARCV
2006
IEEE
15 years 3 months ago
2006
IEEE
A stereovision method is presented in this paper, to compute reliable and quasi-dense disparity maps of road scenes using in-vehicle cameras. It combines the advantages of the &qu...
VTS
2006
IEEE
15 years 3 months ago
2006
IEEE
Monte Carlo analysis has so far been the corner stone for analog statistical simulations. Fast and accurate simulations are necessary for stringent time-to-market, design for manu...
HEURISTICS
2002
14 years 9 months ago
2002
This paper presents operators searching large neighborhoods in order to solve the vehicle routing problem. They make use of the pruning and propagation techniques of constraint pr...