Sciweavers

3898 search results - page 377 / 780
» On the Bit Extraction Problem
Sort
View
DEXAW
2003
IEEE
131views Database» more  DEXAW 2003»
15 years 9 months ago
Having a BLAST: Analyzing Gene Sequence Data with BlastQuest
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...
William G. Farmerie, Joachim Hammer, Li Liu, Marku...
CAV
2003
Springer
108views Hardware» more  CAV 2003»
15 years 9 months ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...
COMPSAC
2002
IEEE
15 years 9 months ago
Parallel Genetic Algorithms with Schema Migration
Genetic algorithms (GAs) are efficient non-gradient stochastic search methods. Parallel GAs are proposed to overcome the deficiencies of sequential GAs, such as low speed and aptn...
Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. ...
SIBGRAPI
2000
IEEE
15 years 8 months ago
Brazilian Bank Check Handwritten Legal Amount Recognition
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
Cinthia Obladen de Almendra Freitas, Abdenaim El Y...
CP
2000
Springer
15 years 8 months ago
New Search Heuristics for Max-CSP
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
Kalev Kask