In this paper we study the problem of designing concurrent searchable data structures with performance guarantees that can be used in a distributed environment where data elements...
Traditional global search heuristics to solve constraint satisfaction problems focus on properties of an individual variable that mandate early search attention. If, however, one ...
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
In this paper, we present a fast mode decision algorithm for H.264/AVC intra prediction. The goal of this work is to reduce computational complexity of the H.264 encoder without s...
We describe a new method to predict the tertiary structure of new-fold proteins. Our two-phase approach combines the knowledge-based fragmentpacking with the minimization of a phy...
Jinhui Ding, Elizabeth Eskow, Nelson L. Max, Silvi...