Sciweavers

2063 search results - page 94 / 413
» connection 2007
Sort
View
ICIP
2007
IEEE
15 years 10 months ago
Skeletonization using SSM of the Distance Transform
This paper proposes a new approach for skeletonization based on the skeleton strength map (SSM) caculated by Euclidean distance transform of a binary image. After the distance tra...
Longin Jan Latecki, Quannan Li, Xiang Bai, Wenyu L...
ICCCN
2007
IEEE
15 years 10 months ago
Localized detection of k-connectivity in wireless ad hoc, actuator and sensor networks
- Ad hoc, actuator and sensor wireless networks normally have critical connectivity properties before becoming fault intolerant. Existing algorithms for testing k-connectivity are ...
Milenko Jorgic, Nishith Goel, Kalai Kalaichelvan, ...
IPPS
2007
IEEE
15 years 10 months ago
MultiEdge: An Edge-based Communication Subsystem for Scalable Commodity Servers
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
Sven Karlsson, Stavros Passas, George Kotsis, Ange...
SPIN
2007
Springer
15 years 10 months ago
Towards Model Checking Spatial Properties with SPIN
Abstract. We present an approach for the verication of spatial properties with Spin. We rst extend one of Spin's main property specication mechanisms, i.e., the linear-time...
Alberto Lluch-Lafuente
CSC
2007
15 years 5 months ago
Visualization a la Unix
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
Hans-Peter Bischof, Tim Peterson