Sciweavers

749 search results - page 15 / 150
» Combinatory Models and Symbolic Computation
Sort
View
DAC
2003
ACM
14 years 10 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
SGAI
2010
Springer
13 years 4 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso
GECCO
2008
Springer
175views Optimization» more  GECCO 2008»
13 years 11 months ago
Using differential evolution for symbolic regression and numerical constant creation
One problem that has plagued Genetic Programming (GP) and its derivatives is numerical constant creation. Given a mathematical formula expressed as a tree structure, the leaf node...
Brian M. Cerny, Peter C. Nelson, Chi Zhou
CORR
2012
Springer
218views Education» more  CORR 2012»
12 years 5 months ago
On the Hardness of Welfare Maximization in Combinatorial Auctions with Submodular Valuations
We present a new type of monotone submodular functions: multi-peak submodular functions. Roughly speaking, given a family of sets F, we construct a monotone submodular function f ...
Shahar Dobzinski, Jan Vondrák
EMMCVPR
2005
Springer
14 years 3 months ago
Extraction of Layers of Similar Motion Through Combinatorial Techniques
In this paper we present a new technique to extract layers in a video sequence. To this end, we assume that the observed scene is composed of several transparent layers, that their...
Romain Dupont, Nikos Paragios, Renaud Keriven, Phi...