[PDF] Top 20 Dynamic spaces in concurrent constraint programming

... Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling) and asking constraints (formulas in logic) in a ... See full document

... headquarters in Brussels (Belgium) is here extended from five airspace sectors (covering a bit more than the three BeNeLux countries) to the entire ECAC airspace, divided into box-shaped cells rather than the ... See full document

... This paper investigates the proof theory of SELL with more involved pre-orders and demonstrates that it is possible to characterize soft constraint systems by using pre-orders based on semirings. During this ... See full document

... result in some applications because it could be used to show that there is a unique solution to the maximization problem in Bellman’s equation, which would imply that the decision rule is a single-valued ... See full document

... 2013). In particular, we instantiate our framework in three different ...generate in order to exhibit a secrecy flaw in a security protocol written in ...analysis in logic ... See full document

... distributed programming that features asynchronous message passing, delegation, session subtyping and ...and dynamic validations (the first to ensure that each ses- sion behaves as prescribed by a locally ... See full document

... errors in BPMN process models (OMG, 2011) based on model ...not. In our work, we bring this verification capacity closer to the clinical pathway domain by abstracting structures that are not familiar to ... See full document

... In this paper, we report computational experience indicating that the evaluation procedure developed can be applied to evaluate any portfolio of R&D projects with the characteristics defined in Sect. ... See full document

... runs in polynomial ...paper. In the next section, we present the general al- gorithmic procedure used to decompose the original problem into a master problem and an ...problems. In section ...extend ... See full document

... cases in which some parts of a contour do not have correspondent parts in the contour associated; for instance, in cases of large deformations or partial ...occlusions. In these cases, the ... See full document

... presented in [ 16 ]. In fact, here we do not make use of subexponentials [ 3 ], and we show that focusing is responsible, alone, for the strongest possible level of ...computation. In particular, we ... See full document

... role in the design of programming languages. In fact, new programming con- structs have been proposed by following tight connections between programming languages and proof ...recently ... See full document

... processed in the SmartSkeMa framework to translate the features from geometries to a set of vectors by a computer vision segmentation process and then identify the spatial relationships from the vectorized ... See full document

... C-MFA in the past decade ...cycle in Pseudomonas species show plasticity under genetic and environmental variations [69], and can respond to increased ATP and NADH demands under stress conditions ... See full document

... a dynamic programming approach to find optimal trees to the single- source minimum cost network flow problem with general nonlinear ...a dynamic programming approach to find optimal trees, ... See full document

... some dynamic optimization problems, most notably the Linear Quadratic Regulator ...systems, dynamic optimization prob- lems become more complex as soon as input or state constraints are considered, hence ... See full document

... There are two ways to diminish this complexity. The first method is to decrease the number of discrete states by decreasing the number of possible states for each tank: M ' 1  M 1  M ' n  M n . This is a technological ... See full document

... of dynamic programming operating policies applied to the resolution of medium-term operational planning ...located in different regions in Brazil will be considered for the ...considered ... See full document

... The resources required for performing transport operations within logistic system are set based on a detailed analysis of all elements on which the delivery of materials and products to customers, in quantity and ... See full document

... Our result has a direct consequence for the use of the contractive method to estimate the policy function: the number of iterations required to attain a given precision is computed in ad[r] ... See full document