1709 search results - page 265 / 342 » Precise Modeling of Design Patterns |
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
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ļ¬...
121
Voted
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present an AUC (i.e., the Area Under the Curve of Receiver Operating Characteristics (ROC)) maximization based learning algorithm to design the classifier for ma...
111
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
ā Distributed time synchronization is an important part of a sensor network where sensing and actuation must be coordinated across multiple nodes. Several time synchronization pr...
128
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
100
Voted
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocolsā participants. Implementation of such protocols ...