Sciweavers

749 search results - page 15 / 150
» Combinatory Models and Symbolic Computation
Sort
View
DAC
2003
ACM
16 years 7 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
SGAI
2010
Springer
15 years 21 days 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»
15 years 7 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»
14 years 1 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
15 years 11 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...