8917 search results - page 1530 / 1784 » Abstraction in Algorithm Animation |
133
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
165
click to vote
EMMCVPR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Meaningful notions of distance between planar shapes typically involve the computation of a correspondence between points on one shape and points on the other. To determi...
156
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
137
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
132
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...