Sciweavers

1717 search results - page 35 / 344
» On the analysis of the (1 1) memetic algorithm
Sort
View
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
13 years 10 months ago
A fast counterexample minimization approach with refutation analysis and incremental SAT
- It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
ShengYu Shen, Ying Qin, Sikun Li
ACL
2000
13 years 9 months ago
Minimally Supervised Morphological Analysis by Multimodal Alignment
This paper presents a corpus-based algorithm capable of inducing inflectional morphological analyses of both regular and highly irregular forms (such as broughtbring) from distrib...
David Yarowsky, Richard Wicentowski
CAIP
2001
Springer
14 years 1 months ago
Implementation and Advanced Results on the Non-interrupted Skeletonization Algorithm
This paper is a continuation to the work in [1], in which a new algorithm for skeletonization is introduced. The algorithm given there and implemented for script and text is applie...
Khalid Saeed, Mariusz Rybnik, Marek Tabedzki
ICDAR
2005
IEEE
14 years 2 months ago
A Two-stage Online Handwritten Chinese Character Segmentation Algorithm Based on Dynamic Programming
In this paper, an online handwritten Chinese character segmentation method is proposed. It is based on a dynamic programming algorithm, which uses geometrical features extracted f...
Xue Gao, Pierre Michel Lallican, Christian Viard-G...
TACAS
2010
Springer
245views Algorithms» more  TACAS 2010»
14 years 3 months ago
Stranger: An Automata-Based String Analysis Tool for PHP
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
Fang Yu, Muath Alkhalaf, Tevfik Bultan