Sciweavers

945 search results - page 156 / 189
» Protein Model Representation and Construction
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 1 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
14 years 1 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner
SIGGRAPH
2000
ACM
14 years 1 months ago
Silhouette clipping
Approximating detailed models with coarse, texture-mapped meshes results in polygonal silhouettes. To eliminate this artifact, we introduce silhouette clipping, a framework for ef...
Pedro V. Sander, Xianfeng Gu, Steven J. Gortler, H...
ACII
2005
Springer
13 years 10 months ago
Hand Motion Recognition for the Vision-based Taiwanese Sign Language Interpretation
In this paper we present a system to recognize the hand motion of Taiwanese Sign Language (TSL) using the Hidden Markov Models (HMMs) through a vision-based interface. Our hand mot...
Chia-Shiuan Cheng, Pi-Fuei Hsieh, Chung-Hsien Wu
IIWAS
2008
13 years 10 months ago
On-the-fly collaboration in distributed systems through service semantic overlay
In the recent years distributed architectures and P2P technology have been adopted to better support effective collaboration among networked organizations. According to the P2P pa...
Devis Bianchini, Valeria De Antonellis, Michele Me...