Sciweavers

12257 search results - page 142 / 2452
» Analysis of Algorithms
Sort
View
FMCAD
2006
Springer
14 years 1 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
14 years 4 months 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
14 years 3 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
12 years 9 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»
14 years 3 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