Sciweavers

716 search results - page 95 / 144
» Modelling Bounded Rationality Using Evolutionary Techniques
Sort
View
196
Voted
ICCV
2011
IEEE
14 years 3 months ago
Generalized Roof Duality for Pseudo-Boolean Optimization
The number of applications in computer vision that model higher-order interactions has exploded over the last few years. The standard technique for solving such problems is to red...
Fredrik Kahl, Petter Strandmark
136
Voted
WINE
2005
Springer
100views Economy» more  WINE 2005»
15 years 9 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...
165
Voted
PAMI
1998
116views more  PAMI 1998»
15 years 3 months ago
Scale-Space Derived From B-Splines
—It is well-known that the linear scale-space theory in computer vision is mainly based on the Gaussian kernel. The purpose of the paper is to propose a scale-space theory based ...
Yu-Ping Wang, Seng Luan Lee
ICIP
2001
IEEE
16 years 5 months ago
Turbo coding for sample-level watermarking in the DCT domain
Coding at the sample level in still image watermarking takes advantage of avoiding a non-optimum initial diversity stage, used in many watermarking systems for tailoring Gaussian ...
Fabiano Baldo, Federico Pérez Gonzál...
128
Voted
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
16 years 14 days ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke