Sciweavers

1604 search results - page 103 / 321
» Development Separation in Lambda-Calculus
Sort
View
MP
2006
88views more  MP 2006»
13 years 10 months ago
Two-edge connected subgraphs with bounded rings: Polyhedral results and Branch-and-Cut
Abstract. We consider the network design problem which consists in determining at minimum cost a 2-edge connected network such that the shortest cycle (a "ring") to which...
Bernard Fortz, Ali Ridha Mahjoub, S. Thomas McCorm...
TIFS
2008
133views more  TIFS 2008»
13 years 10 months ago
Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding
Abstract-- It has recently been discovered that using pseudorandom sequences as carriers in spread-spectrum techniques for data-hiding is not at all a sufficient condition for ensu...
François Cayre, Patrick Bas
TSMC
2008
119views more  TSMC 2008»
13 years 10 months ago
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
Abstract--Reliability and sensitivity analysis is a key component in the design, tuning, and maintenance of network systems. Tremendous research efforts have been expended in this ...
Liudong Xing
TVCG
2008
112views more  TVCG 2008»
13 years 10 months ago
Reconstruction of Cellular Biological Structures from Optical Microscopy Data
Developments in optical microscopy imaging have generated large high-resolution datasets that have spurred medical researchers to conduct investigations into mechanisms of disease,...
Kishore Mosaliganti, Lee Cooper, Richard Sharp, Ra...
NGC
1998
Springer
171views Communications» more  NGC 1998»
13 years 10 months ago
Programming Languages for Distributed Applications
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
Seif Haridi, Peter Van Roy, Per Brand, Christian S...