Sciweavers

2135 search results - page 375 / 427
» Supporting Unconstrained Interaction with Application Sharin...
Sort
View
TCS
2008
14 years 9 months ago
A typed lambda calculus with intersection types
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
Viviana Bono, Betti Venneri, Lorenzo Bettini
ICPPW
2006
IEEE
15 years 3 months ago
A Scalable Synchronization Technique for Distributed Virtual Environments Based on Networked-Server Architectures
In recent years, large scale distributed virtual environments have become a major trend in distributed applications, mainly due to the enormous popularity of multiplayer online ga...
Pedro Morillo, Juan M. Orduña, José ...
LOCA
2005
Springer
15 years 3 months ago
Context Modelling and Management in Ambient-Aware Pervasive Environments
Services in pervasive computing systems must evolve so that they become minimally intrusive and exhibit inherent proactiveness and dynamic adaptability to the current conditions, u...
Maria Strimpakou, Ioanna Roussaki, Carsten Pils, M...
ICRA
2003
IEEE
166views Robotics» more  ICRA 2003»
15 years 3 months ago
A service-based network architecture for wearable robots
We are developing a network architecture for our novel robot concept of wearable robot. Wearable robots are mobile information devices capable of supporting remote communication a...
Ka Keung Lee, Ping Zhang, Yangsheng Xu
CGF
2010
126views more  CGF 2010»
14 years 10 months ago
Contour-based Interface for Refining Volume Segmentation
Medical volume images contain ambiguous and low-contrast boundaries around which existing fully- or semiautomatic segmentation algorithms often cause errors. In this paper, we pro...
Takashi Ijiri, Hideo Yokota