We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A Astructure can be considered as a A-term up to...
Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu...
these points must not be coplanar. We report in this article a real time algorithm TIM that can track and estimate hand gesture, providing reliably 5 degrees of freedom from a sing...
A Grid information system should rely upon two basic features: the replication and dissemination of information about Grid services and resources, and the distribution of such info...
Agostino Forestiero, Carlo Mastroianni, Giandomeni...
This paper presents a new transformation which adds fault-containment properties to any silent self-stabilizing protocol. The transformation features a constant slow-down factor a...
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...