A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
2011
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
This paper presents a theoretical framework for the integration of the cooperative constraint solving of numeric constraint domains into higher-order functional and logic programming on λ-abstractions, ...
cooperation among the numeric domains and a novel higher-order constraint domain equipped with a sound and complete constraint solver for solving higher-order equations. ...
Following the methodology of [1] , we obtain a suitable theoretical framework for the cooperation of algebraic constraint domains with their respective solvers in higher-order functional and logic programming ...
doi:10.1016/j.entcs.2011.03.005
fatcat:yvvzdwi5jrg23ozbkdaoozcltm
Foreword
1998
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The basic idea is to use constraint
domains as abstract
domains for the properties to analyse.
GOFFIN:
Higher-order
functions
meet concurrent
constraints by M.M.T. ...
A hierarchy of constraint systems for data-jlow analysis of constraint logic-based
languages by R. Bagnara is interested in the data-flow analysis of CCP in the abstract
interpretation
framework. ...
doi:10.1016/s0167-6423(97)00005-1
fatcat:f56egmziwjexlgrymimq7htev4
Towards Automated Reasoning on the Properties of Numerical Constraints
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We propose a framework in which properties are seen as abstractions of the underlying constraints, and relate them to the literature on abstract reasoning. ...
A general approach to improving constraint solving is to take advantage of information on the structure and particularities of the considered constraints. ...
Adopting a proof-theoretic presentation inspired from David Lesaint [10] helped us improving the presentation of preliminary versions of this paper. ...
doi:10.1007/3-540-36607-5_4
fatcat:4hv2qlwzqfaefghl3cravhqpua
TOY: A System for Experimenting with Cooperation of Constraint Domains
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This provides a powerful mechanism to define higher order constraints. ...
This paper presents, from a user point-of-view, the mechanism of cooperation between constraint domains that is currently part of the system T OY , an implementation of a constraint functional logic programming ...
The Cooperative Constrained Lazy Narrowing Calculus CCLNC(C) presented in [7] provides a fully sound formal framework for functional logic programming with cooperating solvers over various constraint ...
doi:10.1016/j.entcs.2009.12.006
fatcat:dkzbcwoc6re5jklmpcjgisd77e
Cooperation of constraint domains in theTOYsystem
2008
Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a computational model for the cooperation of constraint domains, based on a generic Constraint Functional Logic Programming (CF LP ) Scheme and designed to support declarative programming ...
with functions, predicates and the cooperation of different constraint domains equipped with their respective solvers. ...
The authors are also grateful to the anonymous reviewers for their constructive comments and suggestions. ...
doi:10.1145/1389449.1389481
dblp:conf/ppdp/MartinFHRSV08
fatcat:as3bbyj7a5f5hldskdwli3c5xi
Directional Consistency for Continuous Numerical Constraints
[article]
2004
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
It is shown here that their algorithm implements a strategy to enforce on a continuous constraint a consistency akin to Directional Bounds Consistency as introduced by Dechter and Pearl for discrete problems ...
These theoretical results are eventually contrasted with new experimental results on standard benchmarks from the interval constraint community. ...
in a network. ...
arXiv:cs/0406025v1
fatcat:gfzikiykjzfnznwjuhjnkj7v4e
Constraints and AI Planning
2005
IEEE Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Tackling real-world problems often requires to take various types of constraints into account. Such constraint types range from simple numerical comparators to complex resources. ...
In many cases, the complete planning problem can be cast in these frameworks. ...
The work described in this article is supported by a number of research sponsors and organizations. ...
doi:10.1109/mis.2005.25
fatcat:4u4satg25bbwna4egn6srw6pg4
A theoretical framework for optimal cooperative networking in multiradio multichannel wireless networks
2012
IEEE wireless communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this article, we present a theoretical framework in the linear programming (LP) domain to guide the resource allocation for optimal cooperative networking in the MR-MC wireless networks. ...
In this article, our focus is to demonstrate a theoretical framework based on the MDCG, which can guide the resource allocation for optimal cooperative networking. ...
doi:10.1109/mwc.2012.6189415
fatcat:3pwcsowvk5bhpjwk5sq3yd5mjy
Ecological Dynamics: A Theoretical Framework for Understanding Sport Performance, Physical Education and Physical Activity
[chapter]
2016
First Complex Systems Digital Campus World E-Conference 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper focuses on the role of Ecological Dynamics as a theoretical framework for analysing performance of athletes and sports teams as complex adaptive systems. ...
The information sources that constrain performance behaviours are affordances, which provide invitations for action offered by each individual's perception of functional relations with a performance environment ...
Acknowledgments This project received the funding of the CPER/GRR Logistic Mobility Numeric XTerm.
Bibliography ...
doi:10.1007/978-3-319-45901-1_3
fatcat:fgsdandayraqbor7ftiytpbdk4
Estimating parallel runtimes for randomized algorithms in constraint solving
2015
Journal of Heuristics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper presents a detailed analysis of the scalability and parallelization of Local Search algorithms for constraint-based and SAT (Boolean satisfiability) solvers. ...
We propose a framework to estimate the parallel performance of a given algorithm by analyzing the runtime behavior of its sequential version. ...
Conclusion and Future Work We have proposed a theoretical model for predicting and analyzing the speedups of Las Vegas algorithms and applied it for Local Search methods in two different domains, Constraint-Based ...
doi:10.1007/s10732-015-9292-3
fatcat:4bgmkcvinrhqhbypwrjrmf75aa
Evaluating adaptive hypermedia authoring while teaching adaptive systems
2004
Proceedings of the 2004 ACM symposium on Applied computing - SAC '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We will show what the incentives of the experiment were, by giving a short description of LAOS, the theoretical background; then we will sketch MOT, the on-line system gradually implementing LAOS. ...
In this paper we present an interesting experiment of combining teaching and research: the testing of MOT, an adaptive hypermedia authoring tool based on the LAOS adaptive hypermedia authoring framework ...
By creating a better framework for reuse, collaboration between authors is also made possible. LAOS however is just a theoretical framework. ...
doi:10.1145/967900.968089
dblp:conf/sac/Cristea04
fatcat:te6tnnlryzebthd4hjagq2yqny
An interval constraint system for lattice domains
2004
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We provide the theoretical foundations for this framework and a schematic procedure for the operational semantics. ...
The approach is based on the use of a single form of constraint similar to that of an indexical used by CLP for finite domains and on a particular generic definition of an interval domain built from an ...
ACKNOWLEDGMENTS We would like to thank the referees of earlier versions of this paper. Their comments have helped us improve many aspects of this work. ...
doi:10.1145/963778.963779
fatcat:daooufp2kzhtdkaq7s4xdblgd4
Toward a Unified Negotiation Framework: Leveraging Strengths in Behavioral and Computational Communities
[chapter]
2013
Models for Intercultural Collaboration and Negotiation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We discover that incorporating the strengths of two types of literature are valuable in expanding the horizon of research outlook. ...
While there has been a large body of negotiation literature in both Behavioral Science (behavioral) and Artificial Intelligence/Game Theory (computational) communities, there has not been an attempt to ...
negotiation, the sum of the When an agent participates in a N/A N/A Numerical results N/A. ...
doi:10.1007/978-94-007-5574-1_3
fatcat:vhj5xtjqp5bulgcwouutts25wi
Effect of spatial structure on the evolution of cooperation based on game models
2015
Computational Ecology and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To elucidate the mechanisms for the evolution of cooperation has been a core problem in biology, economics and sociology. ...
Furthermore, simulations demonstrate that a slight enforcement of ALLC can only promote cooperation when there is weak network reciprocity, while the catalyst effect of TFT on cooperation is verified. ...
Acknowledgements The author is grateful to Cang Hui, for his constructive comments and kind help with the English of this manuscript. The author is thankful to Xiaozhuo Han for her scrutiny. ...
doaj:c9e9b54e9bca4944a6cdf3cbfa8ce528
fatcat:lso3ianegrbgfbbsliabztlhv4
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Cooperation of solvers for different constraint domains can improve the efficiency of implementations since solvers can take advantage of other solvers' deductions. ...
This paper presents a proposal for the cooperation of solvers in constraint functional logic programming, a quite expressive programming paradigm which combines functional, logic and constraint programming ...
Now, in order to provide a formal foundation to our proposal for the cooperation of solvers over the constraint domains H, FD and R, preserving the good properties obtained in the CF LP (D) framework, ...
doi:10.1016/j.entcs.2007.05.037
fatcat:2huvud6lg5gufijxqwpbg3il2m
« Previous
Showing results 1 — 15 out of 60,124 results