Sciweavers

1033 search results - page 80 / 207
» Properties of Exercise Strategies
Sort
View
SRDS
2003
IEEE
15 years 3 months ago
Reliably Networking a Multicast Repository
Abstract— In this paper, we consider the design of a reliable multicast facility over an unreliable multicast network. Our multicast facility has several interesting properties: ...
Wang Lam, Hector Garcia-Molina
CA
2002
IEEE
15 years 3 months ago
Removing Tetrahedra from a Manifold Mesh
One of the most important task in surgical simulation is the ability to cut volumetric organs. Several algorithms have already been described but none of them can actually maintai...
Clement Forest, Hervé Delingette, Nicholas ...
SIBGRAPI
1999
IEEE
15 years 2 months ago
Speckle Noise MAP Filtering Based on Local Adaptive Neighborhood Statistics
This work proposes the use of an adaptive neighborhood procedure to extract local statistical properties of images in order to improve a speckle noise "Maximum a Posteriori &q...
Fátima N. S. de Medeiros, Nelson D. A. Masc...
ASIAN
2006
Springer
133views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Normal Proofs in Intruder Theories
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
Vincent Bernat, Hubert Comon-Lundh
ECOOP
1987
Springer
15 years 1 months ago
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
Ifor Williams, Mario Wolczko, Trevor Hopkins