Sciweavers

1789 search results - page 37 / 358
» New analysis and results for the Frank-Wolfe method
Sort
View
ICIP
2008
IEEE
15 years 4 months ago
Blind image steganalysis based on run-length histogram analysis
In this paper, a new, simple but effective method is proposed for blind image steganalysis, which is based on run-length histogram analysis. Higher-order statistics of characteris...
Jing Dong, Tieniu Tan
CSFW
1999
IEEE
15 years 2 months ago
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
David Monniaux
AAAI
2011
13 years 9 months ago
Termination and Correctness Analysis of Cyclic Control
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
KDD
2006
ACM
127views Data Mining» more  KDD 2006»
15 years 10 months ago
Recommendation method for extending subscription periods
Online stores providing subscription services need to extend user subscription periods as long as possible to increase their profits. Conventional recommendation methods recommend...
Tomoharu Iwata, Kazumi Saito, Takeshi Yamada
CC
2012
Springer
227views System Software» more  CC 2012»
13 years 5 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...