Search Sciweavers | Sciweavers

28

AAAI
2006

103views Intelligent Agents» more AAAI 2006»

Model Counting: A New Strategy for Obtaining Good Bounds

14 years 10 days ago

Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...

Carla P. Gomes, Ashish Sabharwal, Bart Selman

claim paper

Read More »

32

click to vote

AAAI
2006

106views Intelligent Agents» more AAAI 2006»

Salience in Orientation-Filter Response Measured as Suspicious Coincidence in Natural Images

14 years 10 days ago

Download faculty.cs.tamu.edu

Visual cortex neurons have receptive fields resembling oriented bandpass filters, and their response distributions on natural images are non-Gaussian. Inspired by this, we previou...

Subramonia Sarma, Yoonsuck Choe

claim paper

Read More »

43

click to vote

AIA
2006

124views Artificial Intelligence» more AIA 2006»

Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT

14 years 10 days ago

Download www.uni-weimar.de

Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...

Benno Stein, Oliver Niggemann, Theodor Lettmann

claim paper

Read More »

36

click to vote

DAGSTUHL
2006

129views Software Engineering» more DAGSTUHL 2006»

Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting

14 years 10 days ago

Download drops.dagstuhl.de

ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...

Matteo Cavaliere, Sean Sedwards

claim paper

Read More »

43

click to vote

ESANN
2004

169views Neural Networks» more ESANN 2004»

Sparse LS-SVMs using additive regularization with a penalized validation criterion

14 years 10 days ago

Download www.dice.ucl.ac.be

This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...

Kristiaan Pelckmans, Johan A. K. Suykens, Bart De ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers