Sciweavers

3779 search results - page 250 / 756
» Linear Consistency Testing
Sort
View
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 1 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
HICSS
2007
IEEE
114views Biometrics» more  HICSS 2007»
16 years 28 days ago
Organizational Assimilation of Vertical Standards: An Integrative Model
Vertical standards are complex networked technologies whose assimilation is subject to extensive interorganizational dependence and network effects. Classical theories of diffusio...
Rubén A. Mendoza, T. Ravichandran
DAS
2004
Springer
15 years 12 months ago
Self-organizing Maps and Ancient Documents
Abstract. This paper presents how Self-Organizing Maps and especially Kohonen maps can be applied to digital images of ancient collections in the perspective of valorization and di...
Eddie Smigiel, Abdel Belaïd, Hatem Hamza
EVOW
2004
Springer
15 years 12 months ago
A Hierarchical Social Metaheuristic for the Max-Cut Problem
This paper introduces a new social metaheuristic for the Max-Cut problem applied to a weighted undirected graph. This problem consists in finding a partition of the nodes into two ...
Abraham Duarte, Felipe Fernández, Án...
ICDAR
2003
IEEE
15 years 12 months ago
HMM Based Approach for Handwritten Arabic Word Recognition Using the IFN/ENIT- Database
An offline recognition system for Arabic handwritten words is presented. The recognition system is based on a semi-continuous 1-dimensional HMM. From each binary word image norma...
Mario Pechwitz, Volker Märgner