8917 search results - page 366 / 1784 » Abstraction in Algorithm Animation |
180
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
174
click to vote
ANTS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we discuss an implementation of various algorithms for multiplying polynomials in GF(2)[x]: variants of the window methods, Karatsuba's, Toom-Cook...
250
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. The outlier detection problem has important applications in the field of fraud detection, network robustness analysis, and intrusion detection. Most such applications are...
200
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. We present a technique that achieves local contrast enhancement by representing it as an optimization problem. For this, we first introduce a scalar objective function th...
164
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper, two general algorithms for the automatic generation of instruction-set extensions are presented. The basic instruction set of a reconfigurable architectu...