Sciweavers

3466 search results - page 546 / 694
» Fast computation of special resultants
Sort
View
GREC
2005
Springer
16 years 12 hour ago
Adaptive Noise Reduction for Engineering Drawings Based on Primitives and Noise Assessment
In this paper, a novel, adaptive noise reduction method for engineering drawings is proposed based on assessment of both primitives and noise. Unlike the current approaches, our m...
Jing Zhang, Wan Zhang, Liu Wenyin
ICTAC
2005
Springer
16 years 2 hour ago
Revisiting Failure Detection and Consensus in Omission Failure Environments
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
Carole Delporte-Gallet, Hugues Fauconnier, Felix C...
ICCS
2004
Springer
15 years 12 months ago
An Incremental Editor for Dynamic Hierarchical Drawing of Trees
We present an incremental tree editor based on algorithms for manipulating shape functions. The tree layout is hierarchical, left-to-right. Nodes of variable size and shape are sup...
David Workman, Margaret Bernard, Steven Pothoven
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
15 years 12 months ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
IPSN
2004
Springer
15 years 12 months ago
Constraint-guided dynamic reconfiguration in sensor networks
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
Sachin Kogekar, Sandeep Neema, Brandon Eames, Xeno...