Sciweavers

844 search results - page 50 / 169
» The strength of multi-row models
Sort
View
ASC
2007
15 years 6 months ago
Development of a soft computing-based framework for engineering design optimisation with quantitative and qualitative search spa
Most real world engineering design optimisation approaches reported in the literature aim to find the best set of solutions using computationally expensive quantitative (QT ) mode...
Victor Oduguwa, Rajkumar Roy, Didier Farrugia
151
Voted
IJISEC
2008
101views more  IJISEC 2008»
15 years 6 months ago
SAT-based model-checking for security protocols analysis
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
Alessandro Armando, Luca Compagna
NAR
2006
74views more  NAR 2006»
15 years 6 months ago
HHrep: de novo protein repeat detection and the origin of TIM barrels
HHrep is a web server for the de novo identification of repeats in protein sequences, which is based on the pairwise comparison of profile hidden Markov models (HMMs). Its main st...
Johannes Söding, Michael Remmert, Andreas Bie...
ICPR
2010
IEEE
15 years 5 months ago
Robust Figure Extraction on Textured Background: A Game-Theoretic Approach
Feature-based image matching relies on the assumption that the features contained in the model are distinctive enough. When both model and data present a sizeable amount of clutte...
Andrea Albarelli, Emanuele Rodolà, Alberto Cavall...
168
Voted
EWSN
2012
Springer
14 years 1 months ago
On the Optimal Blacklisting Threshold for Link Selection in Wireless Sensor Networks
Empirical studies on link blacklisting show that the delivery rate is very sensitive to the calibration of the blacklisting threshold. If the calibration is too restrictive (the th...
Flavio Fabbri, Marco Zuniga, Daniele Puccinelli, P...