Sciweavers

2393 search results - page 273 / 479
» Bounds-Consistent Local Search
Sort
View
143
Voted
CORR
2010
Springer
155views Education» more  CORR 2010»
15 years 26 days ago
A Proof Theoretic Analysis of Intruder Theories
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson
217
Voted
CVPR
2010
IEEE
15 years 5 days ago
Curious snakes: A minimum latency solution to the cluttered background problem in active contours
We present a region-based active contour detection algorithm for objects that exhibit relatively homogeneous photometric characteristics (e.g. smooth color or gray levels), embedd...
Ganesh Sundaramoorthi, Stefano Soatto, Anthony J. ...
ANOR
2011
101views more  ANOR 2011»
14 years 10 months ago
The case for strategic oscillation
Hard problems for metaheuristic search can be a source of insight for developing better methods. We examine a challenging instance of such a problem that has exactly two local opt...
Fred Glover, Jin-Kao Hao
169
Voted
BMCBI
2011
14 years 10 months ago
NClassG+: A classifier for non-classically secreted Gram-positive bacterial proteins
Background: Most predictive methods currently available for the identification of protein secretion mechanisms have focused on classically secreted proteins. In fact, only two met...
Daniel Restrepo-Montoya, Camilo Pino, Luis F. Ni&n...
ICASSP
2011
IEEE
14 years 7 months ago
Facial expression recognition using ensemble of classifiers
This paper presents a novel method for facial expression classification that employs the combination of two different feature sets in an ensemble approach. A pool of base classi...
Thiago H. H. Zavaschi, Alessandro L. Koerich, Luiz...