Sciweavers

1441 search results - page 133 / 289
» Multiple instance ranking
Sort
View
118
Voted
IPCO
2008
136views Optimization» more  IPCO 2008»
14 years 11 months ago
Computing with Multi-row Gomory Cuts
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...
Daniel G. Espinoza
DAGSTUHL
2003
14 years 11 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
ESA
2010
Springer
227views Algorithms» more  ESA 2010»
14 years 11 months ago
Approximating Parameterized Convex Optimization Problems
We consider parameterized convex optimization problems over the unit simplex, that depend on one parameter. We provide a simple and efficient scheme for maintaining an -approximat...
Joachim Giesen, Martin Jaggi, Sören Laue
80
Voted
ICITS
2009
14 years 8 months ago
Group Testing and Batch Verification
We observe that finding invalid signatures in batches of signatures that fail batch verification is an instance of the classical group testing problem. We present and compare new ...
Gregory M. Zaverucha, Douglas R. Stinson
86
Voted
CORR
2011
Springer
156views Education» more  CORR 2011»
14 years 5 months ago
Discrete Time Elastic Vector Spaces
This paper proposes a framework dedicated to the construction of what we call time elastic inner products allowing one to embed sets of non-uniformly sampled multivariate time ser...
Pierre-François Marteau