1033 search results - page 180 / 207 » hybrid 2007 |
AAAI
2007
13 years 10 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
FLAIRS
2007
13 years 10 months ago
2007
This paper describes a hybrid model that combines machine learning with linguistic heuristics for integrating unknown word identification with Chinese word segmentation. The model...
WSC
2007
13 years 10 months ago
2007
Stimulated by the success of management innovation in the manufacturing industry – culminating in lean production, many homebuilders attempt to model the construction process on...
ACSD
2007
IEEE
13 years 9 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
ECIR
2007
Springer
13 years 9 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...