Sciweavers

5086 search results - page 661 / 1018
» The Power of Comparative Reasoning
Sort
View
DATE
2005
IEEE
106views Hardware» more  DATE 2005»
16 years 10 days ago
SAT-Based Complete Don't-Care Computation for Network Optimization
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...
Alan Mishchenko, Robert K. Brayton
DFT
2005
IEEE
88views VLSI» more  DFT 2005»
16 years 10 days ago
Efficient Exact Spare Allocation via Boolean Satisfiability
Fabricating large memory and processor arrays is subject to physical failures resulting in yield degradation. The strategy of incorporating spare rows and columns to obtain reason...
Fang Yu, Chung-Hung Tsai, Yao-Wen Huang, D. T. Lee...
173
Voted
DSN
2005
IEEE
16 years 10 days ago
Improving TCP Performance for Multihop Wireless Networks
In this paper, we present a comprehensive performance evaluation of TCP NewReno and TCP Vegas with and without ACK thinning for static multihop wireless IEEE 802.11 networks. Oppo...
Sherif M. ElRakabawy, Christoph Lindemann, Mary K....
ICCV
2005
IEEE
16 years 10 days ago
Progressive Surface Reconstruction from Images Using a Local Prior
This paper introduces a new method for surface reconstruction from multiple calibrated images. The primary contribution of this work is the notion of local prior to combine the ...
Gang Zeng, Sylvain Paris, Long Quan, Franço...
ISCAS
2005
IEEE
144views Hardware» more  ISCAS 2005»
16 years 9 days ago
A method for online secondary path modeling in active noise control systems
— This paper proposes a new method for online secondary path modeling in active noise control (ANC) systems. The proposed method is a modified version of the basic method, propo...
Muhammad Tahir Akhtar, Masahide Abe, Masayuki Kawa...