Sciweavers

2681 search results - page 196 / 537
» Problem F
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
14 years 4 months ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
SBRN
2006
IEEE
14 years 4 months ago
Evolutionary Algorithm for 3D Object Reconstruction from Images
This work presents an evolutionary algorithm to reconstruct 3D objects based on images of them. In the proposed evolutionary algorithm, we describe a way to evolve 3D initial mode...
Renata L. M. E. do Rego, Hansenclever de F. Bassan...
INFOCOM
2005
IEEE
14 years 4 months ago
On neighbor discovery in wireless networks with directional antennas
We consider the problem of neighbor discovery in static wireless ad hoc networks with directional antennas. We propose several probabilistic algorithms in which nodes perform rand...
Sudarshan Vasudevan, James F. Kurose, Donald F. To...
ICT
2004
Springer
120views Communications» more  ICT 2004»
14 years 4 months ago
Scalable End-to-End Multicast Tree Fault Isolation
We present a novel protocol, M3L, for multicast tree fault isolation based purely upon end-to-end information. Here, a fault is a link with a loss rate exceeding a speciļ¬ed thres...
Timur Friedman, Donald F. Towsley, James F. Kurose
SIGIR
2003
ACM
14 years 4 months ago
A maximal figure-of-merit learning approach to text categorization
A novel maximal figure-of-merit (MFoM) learning approach to text categorization is proposed. Different from the conventional techniques, the proposed MFoM method attempts to integ...
Sheng Gao, Wen Wu, Chin-Hui Lee, Tat-Seng Chua