258 search results - page 1 / 52 » Loops: Relevant or Redundant |
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
SIGIR
2002
ACM
13 years 4 months ago
2002
ACM
This paper addresses the problem of extending an adaptive information filtering system to make decisions about the novelty and redundancy of relevant documents. It argues that rel...
IEEEPACT
2008
IEEE
13 years 11 months ago
2008
IEEE
This work proposes and evaluates improvements to previously known algorithms for redundancy elimination. Enhanced Scalar Replacement combines two classic techniques, scalar replac...
PDPTA
2007
13 years 6 months ago
2007
- In this paper we experiment with two optimization techniques we are considering implementing in a parallelizing compiler that generates parallel code for a distributed-memory sys...
SSS
2007
Springer
13 years 10 months ago
2007
Springer
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...