Sciweavers

3161 search results - page 555 / 633
» Hybrid results merging
Sort
View
COLING
1996
15 years 1 months ago
A Gradual Refinement Model for A Robust Thai Morphological Analyzer
This work attempts to provide a robust Thai morphological analyzer which can automatically assign the correct part-of-speech tag to the correct word with time and space efficiency...
Asanee Kawtrakul, Chalatip Thumkanon, Thitima Jamj...
IJCAI
1989
15 years 1 months ago
A Correct Non-Monotonic ATMS
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these pr...
Ulrich Junker
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 1 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
CEC
2010
IEEE
15 years 1 months ago
Dynamic multi-swarm particle swarm optimizer with sub-regional harmony search
In this paper, the dynamic multi-swarm particle swarm optimizer (DMS-PSO) and a sub-regional harmony search (SHS) are hybridized to obtain DMS-PSO-SHS. A Modified multi-trajectory ...
Shi-Zheng Zhao, Ponnuthurai Nagaratnam Suganthan, ...
CEC
2010
IEEE
15 years 1 months ago
A novel memetic algorithm for constrained optimization
In this paper, we present a memetic algorithm with novel local optimizer hybridization strategy for constrained optimization. The developed MA consists of multiple cycles. In each ...
Jianyong Sun, Jonathan M. Garibaldi