8917 search results - page 277 / 1784 » Abstraction in Algorithm Animation |
144
click to vote
HIS
2009
15 years 1 months ago
2009
Abstract--The generalized minimum vertex-biconnected network problem plays an important role in the design of survivable backbone networks that should be fault tolerant to single c...
122
click to vote
IC3
2009
15 years 1 months ago
2009
Abstract. This paper describes a hybrid grouping genetic algorithm for a multiprocessor scheduling problem, where a list of tasks has to be scheduled on identical parallel processo...
135
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
114
Voted
SSDBM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. We present novel space and time-efficient algorithms for finding frequent items over general update streams. Our algorithms are based on a novel adaptation of the popula...
105
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper introduces two new tree-based anticollision schemes using multiple feedback symbols for uplink tag random access of emerging radio frequency identification (...