Computational video editing model based on optimization with constraint-satisfaction

We test the relevance of a model-based approach for sizing and optimizing complex systems. Classically a model-based approach is characterized by a clear partition between the problem description and the solving process. In the case of a design problem, we show that the sizing task could be systematically characterized and therefore could lead to a declarative model combining both system description and design requirements. Once translated into a constraint satisfaction problem, the resulting model can be solved with interval constraint programming methods and algorithms. Our first contribution to this approach is to precisely characterize the sizing task in design. The resulting terminology enables us to easily and systematically express the problem as a constraint satisfaction problem (CSP) which combines in the same model the system description and the design requirements. We have tested the approach on the optimal sizing problem of a power transmission system. Previous authors have described this scalable case study. They provide a mathematical formulation of the problem and solve it with an evolutionary algorithm. Starting from their description, we apply our methodology to model the problem as a CSP and then solve it with interval constraint programming algorithms. Our solutions are more adequate both in computational time and in optimization results than those published in the literature on the same problem. Moreover the declarative nature of constraint programming makes modifications or extensions easier than with evolutionary programming. The explanation of these results is our second contribution to the approach. However some important modelling issues remain to address in order to capture more and more complex system specifications. Further research is presented at the end of this paper.

Download Full-text

Fuzzy constraint satisfaction problem for model-based image interpretation

Fuzzy Sets and Systems ◽

10.1016/j.fss.2014.10.025 ◽

2016 ◽

Vol 286 ◽

pp. 1-29 ◽

Cited By ~ 4

Author(s):

Maria Carolina Vanegas ◽

Isabelle Bloch ◽

Jordi Inglada

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problem ◽

Image Interpretation ◽

Model Based ◽

Fuzzy Constraint ◽

Fuzzy Constraint Satisfaction

Download Full-text

A Conflict Detection Model Based on Constraint Satisfaction in Food Product Collaborative Design

Advance Journal of Food Science and Technology ◽

10.19026/ajfst.10.1749 ◽

2016 ◽

Vol 10 (1) ◽

pp. 37-42 ◽

Cited By ~ 1

Author(s):

Kangkang Yang ◽

Shijing Wu ◽

Lu Zhou

Keyword(s):

Constraint Satisfaction ◽

Collaborative Design ◽

Food Product ◽

Conflict Detection ◽

Detection Model ◽

Model Based

Download Full-text

A Constraint Satisfaction Framework with Bayesian Inference for Model-Based Object Recognition

Computer Vision and Graphics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15907-7_1 ◽

2010 ◽

pp. 1-8 ◽

Cited By ~ 1

Author(s):

Włodzimierz Kasprzak ◽

Łukasz Czajka ◽

Artur Wilkowski

Keyword(s):

Object Recognition ◽

Bayesian Inference ◽

Constraint Satisfaction ◽

Model Based

Download Full-text

Representation, abstraction, and simple-minded sophisticates

Behavioral and Brain Sciences ◽

10.1017/s0140525x19002942 ◽

2020 ◽

Vol 43 ◽

Author(s):

Peter Dayan

Keyword(s):

Decision Theory ◽

Predictive Coding ◽

Bayesian Decision Theory ◽

Bayesian Decision ◽

Model Based ◽

Model Free

Abstract Bayesian decision theory provides a simple formal elucidation of some of the ways that representation and representational abstraction are involved with, and exploit, both prediction and its rather distant cousin, predictive coding. Both model-free and model-based methods are involved.

Download Full-text

Quantitative Model-Based Image Analysis of NuMa Distribution Links Nuclear Organization with Cell Phenotype

Microscopy and Microanalysis ◽

10.1017/s1431927600028968 ◽

2001 ◽

Vol 7 (S2) ◽

pp. 578-579

Author(s):

David W. Knowles ◽

Sophie A. Lelièvre ◽

Carlos Ortiz de Solόrzano ◽

Stephen J. Lockett ◽

Mina J. Bissell ◽

...

Keyword(s):

Image Analysis ◽

Mammary Epithelial Cells ◽

Nuclear Organization ◽

Critical Role ◽

Quantitative Model ◽

Mammary Epithelial ◽

Cell Phenotype ◽

Proliferating Cells ◽

Mitotic Apparatus ◽

Model Based

The extracellular matrix (ECM) plays a critical role in directing cell behaviour and morphogenesis by regulating gene expression and nuclear organization. Using non-malignant (S1) human mammary epithelial cells (HMECs), it was previously shown that ECM-induced morphogenesis is accompanied by the redistribution of nuclear mitotic apparatus (NuMA) protein from a diffuse pattern in proliferating cells, to a multi-focal pattern as HMECs growth arrested and completed morphogenesis . A process taking 10 to 14 days.To further investigate the link between NuMA distribution and the growth stage of HMECs, we have investigated the distribution of NuMA in non-malignant S1 cells and their malignant, T4, counter-part using a novel model-based image analysis technique. This technique, based on a multi-scale Gaussian blur analysis (Figure 1), quantifies the size of punctate features in an image. Cells were cultured in the presence and absence of a reconstituted basement membrane (rBM) and imaged in 3D using confocal microscopy, for fluorescently labeled monoclonal antibodies to NuMA (fαNuMA) and fluorescently labeled total DNA.

Download Full-text