Sciweavers

2312 search results - page 399 / 463
» Invariance in Property Testing
Sort
View
JFP
2006
113views more  JFP 2006»
13 years 10 months ago
Efficient manipulation of binary data using pattern matching
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
Per Gustafsson, Konstantinos F. Sagonas
ECCC
2007
144views more  ECCC 2007»
13 years 10 months ago
Algebraic Lower Bounds for Computing on Encrypted Data
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
Rafail Ostrovsky, William E. Skeith III
JSAC
2006
165views more  JSAC 2006»
13 years 10 months ago
Image-Based Anomaly Detection Technique: Algorithm, Implementation and Effectiveness
The frequent and large-scale network attacks have led to an increased need for developing techniques for analyzing network traffic. This paper presents NetViewer, a network measure...
Seong Soo Kim, A. L. Narasimha Reddy
JSCIC
2006
81views more  JSCIC 2006»
13 years 10 months ago
An Improvement of a Recent Eulerian Method for Solving PDEs on General Geometries
We improve upon a method introduced in (Bertalmio et. al. JCP 2001) for solving evolution PDEs on codimension-one surfaces in RN. As in the original method, by representing the su...
John B. Greer
MJ
2006
84views more  MJ 2006»
13 years 10 months ago
Impact of the surface roughness on the electrical capacitance
A new hybrid approach consists to use the advantages of both systems namely the high geometric aspects of the electrodes of the ultracapacitor and the high dielectric strength of ...
A. Albina, P. L. Taberna, J. P. Cambronne, P. Simo...