Filters








151,481 Hits in 4.8 sec

Generalized Support and Formal Development of Constraint Propagators [article]

James Caldwell and Ian P. Gent and Peter Nightingale
2016 arXiv   pre-print
We design a methodology for developing correct propagators using generalized support.  ...  A constraint is expressed as a family of support properties, which may be proven correct against the formal semantics of the constraint.  ...  Acknowledgements The work of the authors has been partially supported by the following UK EPSRC grants: EP/E030394/1, EP/F031114/1, EP/H004092/1, and EP/M003728/1, support for which we are very grateful  ... 
arXiv:1504.05846v2 fatcat:hk6lnwqvinewnf3ny2mlgcda4u

Generalized support and formal development of constraint propagators

James Caldwell, Ian P. Gent, Peter Nightingale
2017 AI Communications  
We design a methodology for developing correct propagators using generalized support.  ...  A constraint is expressed as a family of support properties, which may be proven correct against the formal semantics of the constraint.  ...  Acknowledgements The work of the authors has been partially supported by the following UK EPSRC grants: EP/E030394/1, EP/F031114/1, EP/H004092/1, and EP/M003728/1, support for which we are very grateful  ... 
doi:10.3233/aic-170740 fatcat:7wgvmjjmwjgm3j4dltuh3yo57m

Generalizing Itemset Mining in a Constraint Programming Setting [chapter]

Jérémy Besson, Jean-François Boulicaut, Tias Guns, Siegfried Nijssen
2010 Inductive Databases and Constraint-Based Data Mining  
In this chapter, we develop a common framework in which these algorithms can be studied thanks to the principles of constraint programming.  ...  We show how such principles can be applied both in specialized and general solvers.  ...  This work has been partly funded by EU contract IST-FET IQ FP6-516169, and ANR Bingo2 (MDCO 2007-2010). Most of this research has been done while J. Besson was affiliated to INSA Lyon.  ... 
doi:10.1007/978-1-4419-7738-0_5 fatcat:6eeycsaeqze7njp5x23sbx6bcm

Page 157 of American Society of Civil Engineers. Collected Journals Vol. 116, Issue CP2 [page]

1990 American Society of Civil Engineers. Collected Journals  
Chan developed a general design interpreter in PROLOG, relying on controlled constraint propagation and resolution by quasi-auton- omous tasks that resolve local constraints internally and propagate via  ...  First, it is a heuristic, general-purpose planner that supports both automatic and interactive generation of hierarchical, nonlinear plans.  ... 

Rule categories for collection/item metadata relationships

Karen M. Wickett, Allen H. Renear, Richard J. Urban
2010 Proceedings of the American Society for Information Science and Technology  
Further reflection, and examination of metadata in an RDF testbed, has revealed eighteen categories, which form an interrelated system with three levels of specificity and formal constraints differentiating  ...  This framework will support metadata specification developers, metadata catalogers, and system designers.  ...  This gives two general notions of collection/item propagation, universal propagation and existential propagation.  ... 
doi:10.1002/meet.14504701218 fatcat:ihlp7vqyrjcx3gbetfmp3h52em

Derivational software engineering

Douglas R. Smith, Louis Hoebel
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
Software is a complex artifact that fulfills those needs by providing services, while consuming reasonable levels of resource and conforming to constraints from its context.  ...  For example, if a design pattern were formalized, and pre-analyzed for its properties, then it would be possible to generate certification evidence at the same time that the code pattern is instantiated  ...  To support formal derivation, research is needed into techniques for propagating (global) requirement constraints through the structure of the architecture so as to infer (local) constraints on components  ... 
doi:10.1145/1882362.1882434 dblp:conf/sigsoft/SmithH10 fatcat:2gzj5gmyd5bghcqt4h3okyjqbe

Modelling of Geometric Constraints in CAD-Applications [chapter]

Manfred Rosendahl, Roland Berling
1998 Geometric Constraint Solving and Applications  
The second system easily allows changing the input and output variables of a geometric system.  ...  The first system differs from other systems mainly by the contained segments and the introduction of segments with alternatives and with repetitions.  ...  In this approach the a model is developed in which the directions of the propagations are fixed.  ... 
doi:10.1007/978-3-642-58898-3_8 fatcat:wbe3kpyejfdi7ijtruts67t7oa

Analyzing Requirements Using Environment Modelling [chapter]

Dominique Méry, Neeraj Kumar Singh
2015 Lecture Notes in Computer Science  
It is crucial to get an approval and feedback in early stage of system development to ensure completeness and correctness of requirements specification.  ...  A closed-loop model is an integration of system model and environment model, where both the system and environment models are formalized using formal techniques.  ...  This work was supported by grant ANR-13-INSE-0001 (The IMPEX Project http://impex.loria.fr) from the Agence Nationale de la Recherche (ANR).  ... 
doi:10.1007/978-3-319-21070-4_35 fatcat:vnecfxugznhb5ccmpbf3kpvwpi

Decision-making model to generate novel emergency response plans for improving coordination during large-scale emergencies

Pan Tang, Geoffrey Qiping Shen
2015 Knowledge-Based Systems  
First, the information generated during the development process should be recorded to track and describe the structure of the incident objective decomposition.  ...  In particular, a dedicated temporal management method taking full advantage of the decomposition structure induced by the HTN planning process is proposed for propagating time constraints on the underling  ...  This algorithm propagates temporal constraints incrementally without re-computing the STNs induced by HTN and is a generalized version of SR-PC.  ... 
doi:10.1016/j.knosys.2015.09.027 fatcat:n4mbdq47gvgknavdfzrpayosjq

OntoEdit: Multifaceted Inferencing for Ontology Engineering [chapter]

York Sure, Juergen Angele, Steffen Staab
2003 Lecture Notes in Computer Science  
Ontology development with help of inferencing. 4. Development of ontology axioms. 5. Extensibility through plug-in structure. 3  ...  The terms are used for concise communication across people and applications. Tools such as ontology editors facilitate the creation and maintenance of ontologies.  ...  We thank our colleagues Alexander Maedche (now: Bosch AG, Germany) and Dirk Wenke (now: chief developer of OntoEdit at Ontoprise GmbH, Germany).  ... 
doi:10.1007/978-3-540-39733-5_6 fatcat:q5tl7lptvfaqnmdjbcgk7g6ppi

An Effective Methodology with Automated Product Configuration for Software Product Line Development

Scott Uk-Jin Lee
2015 Mathematical Problems in Engineering  
In software product line (SPL), a family of software is specified with a set of core assets representing reusable features with their variability, dependencies, and constraints.  ...  The wide adaptation of product line engineering in software industry has enabled cost effective development of high quality software for diverse market segments.  ...  Acknowledgment This work was supported by the research fund of Hanyang University (HY-2011-N).  ... 
doi:10.1155/2015/435316 fatcat:7agz4t7r2ndwrc4otgqi24wp6m

Managing requirements uncertainty with partial models

Rick Salay, Marsha Chechik, Jennifer Horkoff
2012 2012 20th IEEE International Requirements Engineering Conference (RE)  
In previous work, we developed a general approach for defining partial models and using them to reason about design models containing uncertainty.  ...  uncertainty, and propagating uncertainty-reducing changes between related models.  ...  We are investigating ways to generalize the rules to support such additional propagations.  ... 
doi:10.1109/re.2012.6345804 dblp:conf/re/SalayCH12 fatcat:aikv5bzgbvct3lpg3uyvmoioma

Managing requirements uncertainty with partial models

Rick Salay, Marsha Chechik, Jennifer Horkoff, Alessio Di Sandro
2013 Requirements Engineering  
In previous work, we developed a general approach for defining partial models and using them to reason about design models containing uncertainty.  ...  uncertainty, and propagating uncertainty-reducing changes between related models.  ...  We are investigating ways to generalize the rules to support such additional propagations.  ... 
doi:10.1007/s00766-013-0170-y fatcat:make62csgrbubpdjdef3oyz3se

Reasoning about domain knowledge and user actions for interactive systems development [chapter]

Ralf Möller
1996 IFIP Advances in Information and Communication Technology  
It is shown how Description Logics can be used to formally deduce action concepts at system development time when only incomplete conceptual descriptions of manipulated domain objects are known.  ...  We will discuss how types of parameters and values of application functions will be constrained by concepts for user actions which are either automatically derived or interactively selected by the UI designer  ...  Domain objects and generic actions defined on these objects are modeled using a Description Logic (DL) representation formalism because, during development time, formal derivations with incomplete conceptual  ... 
doi:10.1007/978-0-387-35059-2_9 fatcat:f7aizbzgvnfh7oryg5jw7d4kzm

Finite Domain Constraint Programming Systems [chapter]

Christian Schulte, Mats Carlsson
2006 Foundations of Artificial Intelligence  
Schulte, Finite Domain Constraint Programming Systems 84Exact and formal description of all constructs Syntax and optionsCarlsson, C.  ...  Schulte, Finite Domain Constraint Programming Systems 82 Exact and formal description of all constructs CP 2002 M. Carlsson, C.  ... 
doi:10.1016/s1574-6526(06)80018-0 fatcat:iemo2c6lezdujcwb7k62iemqaq
« Previous Showing results 1 — 15 out of 151,481 results