Sciweavers

1542 search results - page 206 / 309
» Kernelization of packing problems
Sort
View
TACAS
2004
Springer
111views Algorithms» more  TACAS 2004»
15 years 7 months ago
Automatic Creation of Environment Models via Training
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
Thomas Ball, Vladimir Levin, Fei Xie
ECCV
2010
Springer
15 years 7 months ago
Analysis of Motion Blur With a Flutter Shutter Camera for Non-Linear Motion
Motion blurs confound many computer vision problems. The fluttered shutter (FS) camera [1] tackles the motion deblurring problem by emulating invertible broadband blur kernels. How...
Yuanyuan Ding, Scott McCloskey, Jingyi Yu
CVPR
2010
IEEE
15 years 4 months ago
Large-Scale Image Retrieval with Compressed Fisher Vectors
The problem of large-scale image search has been traditionally addressed with the bag-of-visual-words (BOV). In this article, we propose to use as an alternative the Fisher kernel...
Florent Perronnin, Yan Liu, Jorge Sanchez, Herve P...
CONEXT
2007
ACM
15 years 3 months ago
Detecting worm variants using machine learning
Network intrusion detection systems typically detect worms by examining packet or flow logs for known signatures. Not only does this approach mean worms cannot be detected until ...
Oliver Sharma, Mark Girolami, Joseph S. Sventek
SIAMCO
2002
78views more  SIAMCO 2002»
15 years 1 months ago
Strong Optimality for a Bang-Bang Trajectory
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...
Andrei A. Agrachev, Gianna Stefani, PierLuigi Zezz...