Binary relations are an important abstraction arising in a number of data representation problems. Each existing data structure specializes in the few basic operations required by ...
Floating-point Sparse Matrix-Vector Multiplication (SpMXV) is a key computational kernel in scientific and engineering applications. The poor data locality of sparse matrices sig...
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
A novel nonlinear scale space framework is proposed for the purpose of multiscale image representation. The scale space decomposition problem is formulated as a general Bayesian l...
Akshaya Kumar Mishra, Alexander Wong, David A. Cla...
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...