Sciweavers

291 search results - page 43 / 59
» On Generalizing Pawlak Approximation Operators
Sort
View
IANDC
2008
128views more  IANDC 2008»
13 years 8 months ago
Rule-based static analysis of network protocol implementations
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Fost...
ENTCS
2007
103views more  ENTCS 2007»
13 years 8 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
JUCS
2006
112views more  JUCS 2006»
13 years 8 months ago
Construction of Wavelets and Applications
: A sequence of increasing translation invariant subspaces can be defined by the Haar-system (or generally by wavelets). The orthogonal projection to the subspaces generates a deco...
Ildikó László, Ferenc Schipp,...
SIAMSC
2010
194views more  SIAMSC 2010»
13 years 7 months ago
A Multilevel Algorithm for Simultaneously Denoising and Deblurring Images
In this paper, we develop a fast multilevel algorithm for simultaneously denoising and deblurring images under the total variation regularization. Although much effort has been de...
Raymond H. Chan, Ke Chen 0002
SIGOPS
2010
126views more  SIGOPS 2010»
13 years 7 months ago
Scaling a monitoring infrastructure for the Akamai network
We describe the design of, and experience with, Query, a monitoring system that supports the Akamai EdgePlatform. Query is a foundation of Akamai’s approach to administering its...
Thomas Repantis, Jeff Cohen, Scott Smith, Joel Wei...