Sciweavers

838 search results - page 2 / 168
» Propagation Redundancy in Redundant Modelling
Sort
View
IJCAI
2003
13 years 7 months ago
Propagation Redundancy for Permutation Channels
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
ARITH
2009
IEEE
14 years 11 days ago
Fully Redundant Decimal Arithmetic
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...
Saeid Gorgin, Ghassem Jaberipur
DATE
2009
IEEE
64views Hardware» more  DATE 2009»
13 years 9 months ago
Speculative reduction-based scalable redundancy identification
The process of sequential redundancy identification is the cornerstone of sequential synthesis and equivalence checking frameworks. The scalability of the proof obligations inhere...
Hari Mony, Jason Baumgartner, Alan Mishchenko, Rob...
CPAIOR
2010
Springer
13 years 4 months ago
Boosting Set Constraint Propagation for Network Design
Abstract. This paper reconsiders the deployment of synchronous optical networks (SONET), an optimization problem naturally expressed in terms of set variables. Earlier approaches, ...
Justin Yip, Pascal Van Hentenryck, Carmen Gervet
SIGIR
2009
ACM
14 years 1 days ago
Automatic video tagging using content redundancy
The analysis of the leading social video sharing platform YouTube reveals a high amount of redundancy, in the form of videos with overlapping or duplicated content. In this paper,...
Stefan Siersdorfer, José San Pedro, Mark Sa...