928,878 Hits in 2.7 sec

Interactivity in Constraint Programming [chapter]

Tomáš Müller
2003 Lecture Notes in Computer Science  
In this paper we want to compare these two features and also summarize their main demands and impacts on the constraint satisfaction problem.  ...  In the current computing environment, the interactive behaviour of software is a significant feature requested by many users.  ...  Conclusion We presented some general motivations, ideas, and directions in the field of interactivity in the constraint satisfaction problem and its applications.  ... 
doi:10.1007/978-3-540-45193-8_110 fatcat:fcfq63ps4bf5biphafoz5dw6sq

Multiobjective Interaction Programming Problem with Interaction Constraint for Two Players

Min Jiang, Zhiqing Meng, Xinsheng Xu, Rui Shen, Gengui Zhou
2012 Mathematical Problems in Engineering  
This paper extends an existing cooperative multi-objective interaction programming problem with interaction constraint for two players (or two agents).  ...  First, we define ans-optimal joint solution with weight vector to multi-objective interaction programming problem with interaction constraint for two players and get some properties of it.  ...  Acknowledgments This paper is supported in part by the National Natural Science Foundation of China under Grant no. 71001089 and the Science Foundation of Binzhou University BZXYL1009 .  ... 
doi:10.1155/2012/618928 fatcat:cm5bwnvknbavzniouyitt2wxe4

Constraint Programming and Machine Learning for Interactive Soccer Analysis [chapter]

Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez
2016 Lecture Notes in Computer Science  
In this paper, we combine constraint programming with machine learning to model a general soccer scenario in a real-time application.  ...  the first k teams in a tournament to qualify to the playoff).  ...  Madrid be in a better position than 3. To this end, we propose a combination of constraint programming (CP) with machine learning (ML) to answer soccer related queries.  ... 
doi:10.1007/978-3-319-50349-3_18 fatcat:gfg7okmqwvepveqybba7we3lfm

Interaction of Constraint Programming and Local Search for Optimisation Problems [chapter]

Francisco Azevedo, Pedro Barahona
2001 Lecture Notes in Computer Science  
In this paper we show, for the specific problem of test pattern optimisation, that adapting constraint propagation with results obtained from local search outperforms the use of each of these techniques  ...  We show that a tool we developed to solve this problem using such approach with multivalued logics achieves better results than those obtained with a highly efficient tool based on an integer linear programming  ...  An efficient Constraint Programming (CP) solution for the problem of test pattern generation (TG) extends the Boolean domain with two values that denote dependency on the faulty state of some gate [1]  ... 
doi:10.1007/3-540-45578-7_38 fatcat:retfobyyb5fvtijyn55i35qgqm

Interactively Solving School Timetabling Problems Using Extensions of Constraint Programming [chapter]

Hadrien Cambazard, Fabien Demazeau, Narendra Jussien, Philippe David
2005 Lecture Notes in Computer Science  
Although many approaches mainly based on local search or constraint programming seem to have been quite successful in recent years, they are often highly dedicated to specific problems and encounter difficulties  ...  This paper deals with a timetabling system based on constraint programming with the use of explanations to offer a dynamic behaviour and to allow an automatic relaxation of constraints.  ...  Acknowledgments The authors would like to thank Valérie Kirion, in charge of timetabling of the third year students, for her help and collaboration.  ... 
doi:10.1007/11593577_12 fatcat:jqac2wewhfbddj3gzoedjncqrq

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages

Jimmy H.M. Lee, Ho-fung Leung
1999 Computer languages  
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving.  ...  In the context of constraint logic programming, incremental queries involve adding new constraints or deleting old ones from a query after a solution is found.  ...  A Constraint Pandora program syntactically resembles a Pandora program, except that constraints are allowed in clause guards as well as clause bodies.  ... 
doi:10.1016/s0096-0551(99)00013-2 fatcat:antbgy2ffvhojgbkfyzxxlm3my

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming

Szymon Wilk, Wojtek Michalowski, Martin Michalowski, Ken Farion, Marisela Mainegra Hing, Subhra Mohapatra
2013 Journal of Biomedical Informatics  
In the algorithm we combine domain knowledge encoded as interaction and revision operators using the constraint logic programming (CLP) paradigm.  ...  We illustrate our method in the context of two clinical scenarios involving a patient with duodenal ulcer who experiences an episode of transient ischemic attack.  ...  The research described in this paper was supported by grants from the Natural Sciences and Engineering Research Council of Canada, University of Ottawa, and from the Polish National Science Centre.  ... 
doi:10.1016/j.jbi.2013.01.002 pmid:23376273 fatcat:fb7jj7cnwncoljl3rf42uk6nuy

Fluid/rock interaction and mass transfer in continental subduction zones: constraints from trace elements and isotopes (Li, B, O, Sr, Nd, Pb) in UHP rocks from the Chinese Continental Scientific Drilling Program, Sulu, East China

Yilin Xiao, Jochen Hoefs, Zhenhui Hou, Klaus Simon, Zeming Zhang
2011 Contributions to Mineralogy and Petrology  
, Nd, Pb isotopes on selected continuous drill-core profiles through contrasting lithological boundaries from the Chinese Continental Scientific Drilling Program (CCSD) in Sulu, China.  ...  In order to better understand the role of fluids during subduction and subsequent exhumation, we have investigated whole-rock and mineral chemistry (major and trace elements) and Li, B as well as O, Sr  ...  L Romer for his support in the analytical work. He introduced the first author to the radiogenic isotope (Sr, Nd, Pb) chemistry and performed the Sr-Nd-Pb isotope analysis. Mrs. A.  ... 
doi:10.1007/s00410-011-0625-4 fatcat:fugo5btgpze6nnydq4zpt44v4m

Event-based composition of concurrent programs [chapter]

Raju Pandey, James C. Browne
1994 Lecture Notes in Computer Science  
programs can execute in parallel, except for a set of events that interact with each other.  ...  The interface of an interacting block c o n tains, in addition to the conventional parameters, references to events that may interact with events of other interacting blocks.  ...  Interaction among programs in our model is speci ed by a n algebraic expression, called event ordering constraint expression.  ... 
doi:10.1007/3-540-57659-2_7 fatcat:53v2sbmtpncpxmfndb2fl4nmm4

Support for implementation of evolutionary concurrent systems in concurrent programming languages [chapter]

Raju Pandey, J. C. Browne
1996 Lecture Notes in Computer Science  
In many concurrent programming languages, concurrent p r ograms are di cult to extend and modify: small changes in a concurrent program may require re-implementations of a large number of its components  ...  In this paper a novel concurrent program composition mechanism is presented in which implementations of computations and synchronizations are completely separated.  ...  In CYES Interaction speci cation Interaction among programs is speci ed by a n expression, called the event ordering constraint expression.  ... 
doi:10.1007/3-540-61626-8_84 fatcat:c5zr7k57gjdbxbwmvsawwwgeey

CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment

Carlos Calderon, Marc Cavazza, Daniel Diaz
2006 Journal of Information Technology in Construction  
Extending previous work in the area of Intelligent Virtual Environments (IVEs), we propose an intelligent configuration system based on constraint logic programming (CLP), integrated in a real-time 3D  ...  In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications that, while preserving the natural interaction of traditional VR Systems  ...  Constraint Logic Programming over Finite Domains Constraint Logic Programming (CLP), as it is known from Artificial Intelligence, is the most appropriate formalism to interactively handle a constraint  ... 
dblp:journals/itcon/CalderonCD06 fatcat:hymwo42mdvc4vcbyjpc23xkz4e

User-Guided Synthesis of Interactive Diagrams

John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
2017 Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems - CHI '17  
Interactive diagrams are expensive to build, requiring significant programming experience. The cost of building such diagrams often prevents novice programmers or nonprogrammers from doing so.  ...  In this paper, we present userguided techniques that transform a static diagram into an interactive one without requiring the user to write code.  ...  and interactive synthesis technique for programs in the constraint-based formalism.  ... 
doi:10.1145/3025453.3025467 dblp:conf/chi/SarracinoBZMLW17 fatcat:uwbbj3mzgnc2xdn6qd34uq7mii

Development Tools for Interactive Behaviors [chapter]

Stephen Oney
2011 Lecture Notes in Computer Science  
Interactive behaviors, which define the operation of an interactive application, are often difficult for interaction designers to program because many interaction designers do not have formal programming  ...  This research aims to create a programming language and environment that is tailored to the needs of interaction designers and that alleviates the problems that make programming interactive behaviors difficult  ...  This means accounting for not only the needs of interaction designers, but also analyzing the features of interactive behaviors that make them difficult to program in traditional programming languages  ... 
doi:10.1007/978-3-642-21530-8_49 fatcat:r23un3wj7jhqthk5fztighn5pu

Interactive Program Synthesis [article]

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
2017 arXiv   pre-print
Ensuring efficiency is challenging since the highly combinatorial nature of program synthesis algorithms does not fit in a 1-2 second response expectation of a user-facing system.  ...  Since this technology is often used in an interactive setting, efficiency and correctness are often the key user expectations from a system based on such technologies.  ...  When used in a context of iterative learner-user interaction on a larger task, all named constraints with the same ID e apply to the same subexpression in the desired compound program in L.  ... 
arXiv:1703.03539v1 fatcat:kkg3vgidnfghder2xk6npd44ja

CLPGUI: a generic graphical user interface for constraint logic programming over finite domains [article]

Francois Fages
2002 arXiv   pre-print
CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains.  ...  In CLPGUI, the user can control the execution of a CLP program through several views of constraints, of finite domain variables and of the search tree.  ...  The CLP program may contain annotations for creating buttons for some constraints or for some Prolog goals to execute in an interactive manner.  ... 
arXiv:cs/0207048v2 fatcat:skm3r5motncipldcxgpmfxwh2a
« Previous Showing results 1 — 15 out of 928,878 results