Results 31 to 40 of about 1,512,981 (300)
Integration of declarative and constraint programming [PDF]
Theory and Practice of Logic Programming, 2007 AbstractCombining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework.
Petra Hofstedt, Peter Pepper
openaire +3 more sources
Nonlinear Analysis, 2014 In this paper, the set of trajectories of the control system described by a nonlinear Volterra integral equation is studied. It is assumed that the set of admissible control functions is the closed ball of the space Lp, p > 1, with radius µ and centered ...
Anar Huseyin
doaj +1 more source
Depth mapping of integral images through viewpoint image extraction with a hybrid disparity analysis algorithm [PDF]
, 2008 Integral imaging is a technique capable of displaying 3–D images with continuous parallax in full natural color. It is one of the most promising methods for producing smooth 3–D images.
McCormick, M, Kung, SY, Wu, C, Aggoun, A
core +1 more source
Constraint Based Planning with Composable Substate Graphs. [PDF]
, 2010 Constraint satisfaction techniques provide powerful inference algorithms that can prune choices during search. Constraint-based approaches provide a useful complement to heuristic search optimal planners.We develop a constraint-based model for cost ...
Fox, Maria, Gregory, Peter, Long, Derek
core +3 more sources
Integration of Integrity Constraints in Database Federations [PDF]
, 2004 A database federation provides for tight coupling of a collection of heterogeneous legacy databases into a global integrated system. A major problem in constructing database federations concerns maintaining quality and consistency of data on the global level of the federation.
Herman Balsters, Bert O. de Brock
openaire +1 more source
IEEE Access, 2023 An improved time-variant asymmetric integral barrier function with adjustable parameters is constructed for the first time in this study. The presented barrier function, which is constructed by designing an integral upper limit function, can be used in ...
Tan Zhang +3 more
doaj +1 more source
Effective compilation of constraint models [PDF]
, 2010 Constraint Programming is a powerful technique for solving large-scale combinatorial (optimisation) problems. However, it is often inaccessible to users without expert knowledge in the area, precluding the wide-spread use of Constraint Programming ...
Rendl, Andrea
core +2 more sources
A modification of the convective constraint release mechanism in the molecular stress function model giving enhanced vortex growth [PDF]
, 2006 YesThe molecular stress function model with convective constraint release (MSF with CCR) constitutive model [J. Rheol. 45 (2001), 1387] is capable of fitting all viscometric data for IUPAC LDPE, with only two adjustable parameters (with difference found ...
Wagner, M.H., Olley, Peter
core +1 more source
The problem of first integral of nonholonomic systems
Vietnam Journal of Mechanics, 2001 In this paper, the problem of first integrals of a nonholonomic system is discussed. The aim of this work is concentra.ted on finding the condition for existence of first integrals.
Do Sanh
doaj +1 more source
Breaking conditional symmetry in automated constraint modelling with CONJURE [PDF]
, 2014 This work was supported by UK EPSRC EP/K015745/1. Jefferson is supported by a Royal Society University Research Fellowship.Many constraint problems contain symmetry, which can lead to redundant search.
Gent, Ian +8 more
core +1 more source