Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
—We discuss the design of interaction ambients, which are ambients populated with fixed and mobile services, accessible through distributed interfaces. To make the interaction e...
Augusto Celentano, Andrea Okroglic, Fabio Pittarel...
Web Services based computing is currently an important driver for the software industry. While several standards bodies (such as W3C and OASIS) are laying the foundation for Web S...
Several different fabrication techniques and materials have been proposed for making low loss high performance micromachined transmission lines. In this paper a review of several ...
We present a novel method to relight video sequences given known surface shape and illumination. The method preserves fine visual details. It requires single view video frames, ap...