Sciweavers

17390 search results - page 3347 / 3478
» Distributed Data Clustering
Sort
View
SCP
2010
155views more  SCP 2010»
15 years 3 days ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
SIGMOBILE
2010
107views more  SIGMOBILE 2010»
15 years 2 days ago
Oceansense: monitoring the sea with wireless sensor networks
—Wireless sensor networks enable large amount of surveillance applications especially for critical and even hostile environments, for example, the sea monitoring. In OceanSense, ...
Kebin Liu, Zheng Yang, Mo Li, Zhongwen Guo, Ying G...
SIGMOD
2010
ACM
145views Database» more  SIGMOD 2010»
15 years 2 days ago
How to ConQueR why-not questions
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
Quoc Trung Tran, Chee-Yong Chan
SUTC
2010
IEEE
15 years 2 days ago
Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks
—Compressed Sensing (CS) is a novel sampling paradigm that tries to take data-compression concepts down to the sampling layer of a sensory system. It states that discrete compres...
Mohammadreza Mahmudimanesh, Abdelmajid Khelil, Nee...
121
Voted
VR
2010
IEEE
146views Virtual Reality» more  VR 2010»
15 years 2 days ago
Streaming 3D shape deformations in collaborative virtual environment
Collaborative virtual environment has been limited on static or rigid 3D models, due to the difficulties of real-time streaming of large amounts of data that is required to descri...
Ziying Tang, Guodong Rong, Xiaohu Guo, B. Prabhaka...
« Prev « First page 3347 / 3478 Last » Next »