1033 search results - page 180 / 207 » hybrid 2007 |
183
click to vote
AAAI
2007
15 years 8 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 ...
186
click to vote
FLAIRS
2007
15 years 8 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...
197
click to vote
WSC
2007
15 years 8 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...
170
click to vote
ACSD
2007
IEEE
15 years 8 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 ...
154
click to vote
ECIR
2007
Springer
15 years 7 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 ...