60,124 Hits in 5.2 sec

A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains

Rafael del Vado Vírseda
2011 Electronical Notes in Theoretical Computer Science  
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


Philippe Codognet
1998 Science of Computer Programming  
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]

Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
2003 Lecture Notes in Computer Science  
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

S. Estévez-Martín, A.J. Fernández Leiva, F. Sáenz-Pérez
2009 Electronical Notes in Theoretical Computer Science  
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

Sonia Estévez-Martín, Antonio J. Fernández, Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2008 Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08  
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]

Frederic Goualard, Laurent Granvilliers
2004 arXiv   pre-print
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

A. Nareyek, E.C. Freuder, R. Fourer, E. Giunchiglia, R.P. Goldman, H. Kautz, J. Rintanen, A. Tate
2005 IEEE Intelligent Systems  
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

Yu Cheng, Hongkun Li, Peng-Jun Wan
2012 IEEE wireless communications  
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]

Ludovic Seifert, Keith Davids
2016 First Complex Systems Digital Campus World E-Conference 2015  
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

Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet
2015 Journal of Heuristics  
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

Alexandra Cristea
2004 Proceedings of the 2004 ACM symposium on Applied computing - SAC '04  
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

Antonio J. Fernández, Patricia M. Hill
2004 ACM Transactions on Programming Languages and Systems  
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]

Nazli Turan, Tinglong Dai, Katia Sycara, Laurie Weingart
2013 Models for Intercultural Collaboration and Negotiation  
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

Hui Zhang, Meng Gao
2015 Computational Ecology and Software  
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

S. Estévez-Martín, A.J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda
2007 Electronical Notes in Theoretical Computer Science  
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