Static analysis in datalog extensions.
Improved implementations of binary universal operations.
A unified approach to approximating resource allocation and scheduling.
A model of multimedia information retrieval.
Interval arithmetic: From principles to implementation.