Sciweavers

198 search results - page 35 / 40
» Computing the Algebraic Immunity Efficiently
Sort
View
ERSHOV
2009
Springer
14 years 2 months ago
Anti-unification Algorithms and Their Applications in Program Analysis
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...
ICIP
2006
IEEE
15 years 15 days ago
Multichannel Autofocus Algorithm for Synthetic Aperture Radar
The autofocus problem in synthetic aperture radar (SAR) is considered, where phase errors in the acquired signal data result in imagery that is improperly focused. We present a ne...
Robert L. Morrison Jr., Minh N. Do
ECAI
2006
Springer
14 years 2 months ago
A Learning Classifier Approach to Tomography
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
Kees Joost Batenburg
DEDS
2008
108views more  DEDS 2008»
13 years 11 months ago
An Algorithmic Toolbox for Network Calculus
Network calculus offers powerful tools to analyze the performances in communication networks, in particular to obtain deterministic bounds. This theory is based on a strong mathema...
Anne Bouillard, Eric Thierry
ENTCS
2002
128views more  ENTCS 2002»
13 years 10 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori