8917 search results - page 1747 / 1784 » Abstraction in Algorithm Animation |
121
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
139
click to vote
MIR
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
124
click to vote
PAM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we present OpenTM, a traffic matrix estimation system for OpenFlow networks. OpenTM uses built-in features provided in OpenFlow switches to directly and acc...
105
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
123
Voted
CPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. k-ary trees are a fundamental data structure in many textprocessing algorithms (e.g., text searching). The traditional pointer-based representation of trees is space cons...