2598 search results - page 235 / 520 » The Abstract Immune System Algorithm |
171
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
196
click to vote
ICNC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The method of lexical chains is the first time introduced to generate summaries from Chinese texts. The algorithm which computes lexical chains based on the HowNet knowl...
223
click to vote
AMTA
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
145
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
168
click to vote
ACISP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. At ACISP 2000, Yoo et al proposed a fast public key cryptosystem using matrices over a ring. The authors claim that the security of their system is based on the RSA probl...