15033 search results - page 142 / 3007 » Complexity Theory and Algorithms |
127
click to vote
ITICSE
1999
ACM
15 years 8 months ago
1999
ACM
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
125
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
126
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper proposes a new method for binarization of digital documents. The proposed approach performs binarization by using a heuristic algorithm with two different thresholds an...
152
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
The complex fast independent component analysis (c-FastICA) algorithm is one of the most popular methods for solving the ICA problem with complex-valued data. In this study, we ex...
83
Voted
SODA
2008
ACM
15 years 5 months ago
2008
ACM