2062 search results - page 348 / 413 » Derivatives of Logical Formulas |
106
click to vote
EUSFLAT
2009
14 years 8 months ago
2009
Web Usage Mining is the process of applying data mining techniques to the discovery of usage patterns from data extracted from Web Log files. It mines the secondary data (web logs)...
ISQED
2011
IEEE
14 years 2 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
113
click to vote
TMC
2012
13 years 1 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
124
click to vote
TMC
2012
13 years 1 months ago
2012
—A major benefit of employing network coding (NC) in cooperative communications (CC) is its ability to reduce time-slot overhead. Such approach is called network-coded CC (or NC...
ICIP
2002
IEEE
16 years 18 days ago
2002
IEEE
With the large and increasing amount of visual information available in digital libraries and the Web, efficient and robust systems for image retrieval are urgently needed. In thi...