Sciweavers

1746 search results - page 280 / 350
» Residual for Component Specifications
Sort
View
ENTCS
2006
173views more  ENTCS 2006»
14 years 12 months ago
Formal Security Analysis for Ad-Hoc Networks
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
Sebastian Nanz, Chris Hankin
FUIN
2006
128views more  FUIN 2006»
14 years 12 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko
IJNSEC
2008
109views more  IJNSEC 2008»
14 years 12 months ago
A Multi-band Wavelet Watermarking Scheme
This paper presents a new multi-band wavelet watermarking scheme. Compared with conventional watermarking schemes implemented in two-band wavelet domain, by incorporating the prin...
Xiangui Kang, Wenjun Zeng, Jiwu Huang
IJON
2008
121views more  IJON 2008»
14 years 12 months ago
Locality sensitive semi-supervised feature selection
In many computer vision tasks like face recognition and image retrieval, one is often confronted with high-dimensional data. Procedures that are analytically or computationally ma...
Jidong Zhao, Ke Lu, Xiaofei He
IJCV
2006
116views more  IJCV 2006»
14 years 12 months ago
Structure-Texture Image Decomposition - Modeling, Algorithms, and Parameter Selection
This paper explores various aspects of the image decomposition problem using modern variational techniques. We aim at splitting an original image f into two components u and v, whe...
Jean-François Aujol, Guy Gilboa, Tony F. Ch...