Sciweavers

923 search results - page 45 / 185
» The Computational Structure of Progress Conditions
Sort
View
ICPR
2008
IEEE
15 years 11 months ago
Robust extraction of 1D skeletons from grayscale 3D images
We propose novel thinning conditions for grayscale 3D images that do not rely on image thresholding or segmentation. The resulting grayscale skeletonization routine extracts a top...
Emilio R. Antúnez, Leonidas J. Guibas
VSTTE
2005
Springer
15 years 3 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
IPTPS
2003
Springer
15 years 2 months ago
Controlling the Cost of Reliability in Peer-to-Peer Overlays
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...
Ratul Mahajan, Miguel Castro, Antony I. T. Rowstro...
AINA
2008
IEEE
15 years 4 months ago
A Scheme for Damage Information Gathering Based on Micro Perspective in Sensor Networks
Several systems for disaster damage mitigation have been studied based on various perspectives. Those previous works suggest it is not easy to get an effective method to comprehen...
Takahiro Fujiwara, Takashi Watanabe
ADHOCNOW
2008
Springer
14 years 10 months ago
Cheating on the CW and RTS/CTS Mechanisms in Single-Hop IEEE 802.11e Networks
This paper presents a work in progress which deals with the problem of node misbehaviour in ad-hoc networks. A realistic approach is used to determine the impact of contention wind...
Szymon Szott, Marek Natkaniec, Andrzej R. Pach