Sciweavers

9787 search results - page 793 / 1958
» A Utile Function Optimizer
Sort
View
ICIP
2009
IEEE
15 years 5 months ago
Improved watermark detection robust to camcorder capture based on quadrangle estimation
In this paper, we propose a blind watermark detection scheme which is robust against composite geometric distortions. The composite geometric distortions mean that an image or a v...
Min-Jeong Lee, Kyung-Su Kim, Young-Ho Suh, Heung-K...
ICASSP
2011
IEEE
14 years 11 months ago
Causal signal recovery from U-invariant samples
Causal processing of a signal’s samples is crucial in on-line applications such as audio rate conversion, compression, tracking and more. This paper addresses the problem of cau...
Tomer Michaeli, Yonina C. Eldar, Volker Pohl
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 11 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
WINE
2005
Springer
100views Economy» more  WINE 2005»
16 years 1 months ago
A Primal-Dual Algorithm for Computing Fisher Equilibrium in the Absence of Gross Substitutability Property
Abstract. We provide the first strongly polynomial time exact combinatorial algorithm to compute Fisher equilibrium for the case when utility functions do not satisfy the Gross su...
Dinesh Garg, Kamal Jain, Kunal Talwar, Vijay V. Va...
BMCBI
2011
14 years 11 months ago
RAG: An Update to the RNA-As-Graphs Resource
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...
Joseph A. Izzo, Namhee Kim, Shereef Elmetwaly, Tam...