26071 search results - page 394 / 5215 » Making |
166
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
163
Voted
MDM
2007
Springer
16 years 1 months ago
2007
Springer
—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...
167
click to vote
POLICY
2007
Springer
16 years 29 days ago
2007
Springer
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...
199
click to vote
CONIELECOMP
2006
IEEE
16 years 28 days ago
2006
IEEE
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 ...
171
click to vote
FGR
2006
IEEE
16 years 28 days ago
2006
IEEE
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...