Sciweavers

195 search results - page 12 / 39
» Prototype reduction using an artificial immune model
Sort
View
PAMI
2007
214views more  PAMI 2007»
13 years 7 months ago
2D Affine-Invariant Contour Matching Using B-Spline Model
—This paper presents a new affine-invariant matching algorithm based on B-Spline modeling, which solves the problem of the nonuniqueness of B-Spline in curve matching. This metho...
Yue Wang, Eam Khwang Teoh
APN
2000
Springer
14 years 11 hour ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
TOPNOC
2010
13 years 2 months ago
Search-Order Independent State Caching
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
Sami Evangelista, Lars Michael Kristensen
BMCBI
2007
113views more  BMCBI 2007»
13 years 7 months ago
Analysis and prediction of antibacterial peptides
Background: Antibacterial peptides are important components of the innate immune system, used by the host to protect itself from different types of pathogenic bacteria. Over the l...
Sneh Lata, B. K. Sharma, G. P. S. Raghava
ASIACRYPT
2010
Springer
13 years 5 months ago
Random Oracles with(out) Programmability
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
Marc Fischlin, Anja Lehmann, Thomas Ristenpart, Th...