2678 search results - page 95 / 536 » Comparative Evaluation of Approaches to Propositionalization |
163
click to vote
ENTCS
2007
15 years 4 months ago
2007
Poly-controlled partial evaluation (PCPE) is a flexible approach for specializing logic programs, which has been recently proposed. It takes into account repertoires of global co...
132
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
148
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
121
click to vote
IWCMC
2006
ACM
15 years 10 months ago
2006
ACM
The employment of the OFDMA transmission technique in broadband radio systems shows several benefits. Especially the exploitation of multi-user diversity with the help of sophisti...
158
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the optimal selection of minimum contention window values to achieve proportional fairness in a multirate IEEE 802.11e test-bed. Unlike other approaches, the propos...