Sciweavers

493 search results - page 36 / 99
» The oracle penalty method
Sort
View
CADE
2012
Springer
11 years 11 months ago
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
François Bobot, Sylvain Conchon, Evelyne Co...
AAAI
2012
11 years 11 months ago
Security Games for Controlling Contagion
Many strategic actions carry a ‘contagious’ component beyond the immediate locale of the effort itself. Viral marketing and peacekeeping operations have both been observed to ...
Jason Tsai, Thanh H. Nguyen, Milind Tambe
PG
2003
IEEE
14 years 2 months ago
Non-Photorealistic Rendering and Content-Based Image Retrieval
In this paper, we will show how non-photorealistic rendering (NPR) can take a new role in content-based image retrieval (CBIR). We propose a content-based image retrieval method. ...
Xiaowen Ji, Zoltan Kato, Zhiyong Huang
ICML
1997
IEEE
14 years 9 months ago
Characterizing the generalization performance of model selection strategies
Abstract: We investigate the structure of model selection problems via the bias/variance decomposition. In particular, we characterize the essential structure of a model selection ...
Dale Schuurmans, Lyle H. Ungar, Dean P. Foster
ISBI
2006
IEEE
14 years 9 months ago
Spatial resolution properties of nonquadratically regularized image reconstruction for PET
This paper examines the spatial resolution properties of nonquadratically regularized image reconstruction methods for positron emission tomography (PET). It is well known that qu...
Sangtae Ahn, Richard M. Leahy