1755 search results - page 266 / 351 » An efficient simulation algorithm based on abstract interpre... |
131
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
153
Voted
KDD
2003
ACM
16 years 4 months ago
2003
ACM
We address the issues of discovering significant binary relationships in transaction datasets in a weighted setting. Traditional model of association rule mining is adapted to han...
145
Voted
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
—We propose a generic framework for distributed broadcasting in ad hoc wireless networks. The approach is based on selecting a small subset of nodes to form a forward node set to...
134
Voted
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Scalable streams provide a layered representation for transmitting media contents over a channel with packet losses and variable delay. In general, real-time streaming scalable me...
161
Voted
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
TID hash joins are a simple and memory-efficient method for processing large join queries. They are based on standard hash join algorithms but only store TID/key pairs in the hash...