953 search results - page 109 / 191 » Efficient Evaluation of Large Polynomials |
JAR
2006
13 years 8 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
JUCS
2008
13 years 8 months ago
2008
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
BMVC
2010
13 years 6 months ago
2010
We present a novel off-line algorithm for target segmentation and tracking in video. In our approach, video data is represented by a multi-label Markov Random Field model, and seg...
CISIS
2010
IEEE
13 years 6 months ago
2010
IEEE
As Grid infrastructures become more widely used by the academic and commercial world, the problem of resource allocation increases in complexity. Resource trading markets are one m...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we investigate the static multicast advance reservation (MCAR) problem for all-optical wavelengthrouted WDM networks. Advance reservation connection requests specify ...