Sciweavers

2501 search results - page 384 / 501
» Logics with Rank Operators
Sort
View
ASAP
2005
IEEE
142views Hardware» more  ASAP 2005»
15 years 10 months ago
Decimal Floating-Point Square Root Using Newton-Raphson Iteration
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
Liang-Kai Wang, Michael J. Schulte
DATE
2005
IEEE
127views Hardware» more  DATE 2005»
15 years 10 months ago
A Novel Low-overhead Delay Testing Technique for Arbitrary Two-Pattern Test Application
— With increasing process fluctuations in nano-scale technology, testing for delay faults is becoming essential in manufacturing test to complement stuck-at-fault testing. Desig...
Swarup Bhunia, Hamid Mahmoodi-Meimand, Arijit Rayc...
157
Voted
ICDAR
2005
IEEE
15 years 10 months ago
The Recognition Strategy Language
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
Richard Zanibbi, Dorothea Blostein, James R. Cordy
114
Voted
ISDA
2005
IEEE
15 years 10 months ago
Hybrid Fuzzy-Genetic Algorithm Approach for Crew Grouping
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
Hongbo Liu, Zhanguo Xu, Ajith Abraham
SEFM
2005
IEEE
15 years 10 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly