Sciweavers

4428 search results - page 226 / 886
» The Chow Parameters Problem
Sort
View
MST
2010
105views more  MST 2010»
15 years 3 months ago
On the Automatizability of Polynomial Calculus
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
Nicola Galesi, Massimo Lauria
122
Voted
IJALR
2011
49views more  IJALR 2011»
14 years 8 months ago
A Computational Model of Mitigating Disease Spread in Spatial Networks
  We consider the problem of disease spreading and containment in spatial networks, where our  computational  model  is  capable  of  detecting  disease  prog...
Taehyong Kim, Kang Li, Aidong Zhang, Surajit Sen, ...
165
Voted
ESAW
2004
Springer
15 years 10 months ago
Techniques for Analysis and Calibration of Multi-agent Simulations
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
Manuel Fehler, Franziska Klügl, Frank Puppe
ICDM
2003
IEEE
95views Data Mining» more  ICDM 2003»
15 years 10 months ago
Evolutionary Gabor Filter Optimization with Application to Vehicle Detection
Abstract—Despite the considerable amount of research work on the application of Gabor filters in pattern classification, their design and selection have been mostly done on a t...
Zehang Sun, George Bebis, Ronald Miller
192
Voted
ASPLOS
2006
ACM
15 years 9 months ago
Efficiently exploring architectural design spaces via predictive modeling
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
Engin Ipek, Sally A. McKee, Rich Caruana, Bronis R...