Sciweavers

11 search results - page 1 / 3
» Weighting strategy for non-clausal resolution
Sort
View
JETAI
2008
86views more  JETAI 2008»
13 years 11 months ago
Weighting strategy for non-clausal resolution
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
Zbigniew Stachniak, Anton Belov
ICASSP
2011
IEEE
13 years 2 months ago
An evolutionary game-theoretic approach for image interpolation
In this paper, we study the image interpolation from the game theoretic perspective and formulate the image interpolation problem as an evolutionary game. In this evolutionary gam...
Yan Chen, Yang Gao, K. J. Ray Liu
ICMCS
2009
IEEE
107views Multimedia» more  ICMCS 2009»
13 years 9 months ago
Fast directional image interpolation with difference projection
This paper presents a new directional image interpolator, aiming to increase image resolution with high perceptual quality and low computational complexity. In our method, missing...
Zhiwei Xiong, Yonghua Zhang, Xiaoyan Sun, Feng Wu
SIAMJO
2002
142views more  SIAMJO 2002»
13 years 10 months ago
A Complementary Pivoting Approach to the Maximum Weight Clique Problem
Given an undirected graph with positive weights on the vertices, the maximum weight clique problem (MWCP) is to find a subset of mutually adjacent vertices (i.e., a clique) having ...
Alessio Massaro, Marcello Pelillo, Immanuel M. Bom...
AI
2005
Springer
13 years 11 months ago
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
Zhao Xing, Weixiong Zhang