Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes α-expansion moves and iterative refinement ove...
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...