Sciweavers

12257 search results - page 142 / 2452
» Analysis of Algorithms
Sort
View
FMCAD
2006
Springer
15 years 10 months ago
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
Tilman Glökler, Jason Baumgartner, Devi Shanm...
AB
2008
Springer
16 years 22 days ago
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
Liliana Ironi, Luigi Panzeri, Erik Plahte
ICDAR
2003
IEEE
15 years 11 months ago
Rejection Algorithm for Mis-segmented Characters In Multilingual Document Recognition
In OCR systems the character segmentation algorithm may generate mis-segmented blocks. Feedback information from character classifier is indispensable to achieve higher character ...
Zhengang Chen, Xiaoqing Ding
ICDAR
2011
IEEE
14 years 6 months ago
A New Text-Line Alignment Approach Based on Piece-Wise Painting Algorithm for Handwritten Documents
—Because of writing styles of different individuals, some of the text-lines may be curved in shape. For recognition of such text-lines, their proper alignment is necessary. In th...
Alireza Alaei, P. Nagabhushan, Umapada Pal
HICSS
2003
IEEE
184views Biometrics» more  HICSS 2003»
15 years 11 months ago
Content Based File Type Detection Algorithms
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
Mason McDaniel, Mohammad Hossain Heydari