A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
An Extended ACL for Solving Authorization Conflicts
2009
2009 Second International Symposium on Electronic Commerce and Security
Preserved Fulltext
We present a model-based transformation approach to solve conflicts among configurations performed by different stakeholders on feature models. ...
These specifications along with the stakeholders' configurations and the feature model are transformed into a constraint programming problem, on which decision rules are executed to find a non-conflicting ...
Acknowledgments The authors would like to thank Jaime Chavarriaga, Kelly Garcés, and Juliana Alves Pereira for their useful feedback. ...
doi:10.1109/isecs.2009.164
fatcat:5zdmoraulrd53bkatqc4srngpq
The Conflict-Driven Answer Set Solver clasp: Progress Report
[chapter]
2009
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 2011; you can also visit the original URL.
The file type is application/pdf.
We summarize the salient features of the current version of the answer set solver clasp, focusing on the progress made since version RC4 of clasp. ...
enhanced preprocessing and search-supporting techniques, a particular emphasis lies on advanced reasoning modes, such as cautious and brave reasoning, optimization, solution projection, and incremental solving ...
Furthermore, they allow for solving under assumptions [17] ; an important feature that is, for example, used in our parallel ASP solver claspar [18] . ...
doi:10.1007/978-3-642-04238-6_50
fatcat:p3svekro2vfnziln2udpclsequ
Distributed Cognition Learning in Collaborative Civil Engineering Projects Management
[chapter]
2012
Advances in Intelligent Systems and Computing
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.
If a high-quality design is desired, these conflicts need to be detected and solved. ...
We present a Multiagent system able to manage these design conflicts by detecting them, by assisting the engineers in the negotiation of solutions, and finally by learning how to solve future similar problems ...
Erik Kjems from the AAU for his help without which this paper would not be possible. ...
doi:10.1007/978-3-642-30864-2_8
fatcat:um6apo6zebf5hhgjlmuybwel2q
Multiagent System for Detecting and Solving Design-Time Conflicts in Civil Infrastructure
[chapter]
2012
Advances in Intelligent and Soft Computing
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 paper, we present a multi-agent system that, thanks to the use of ontologies and rules on those ontologies, is able to detect profilespecific conflict situations and solve them according to the ...
The conflict solving is based on the Multi Agent Resource Allocation (MARA) theory. ...
Erik Kjems from the AAU for his help without which this paper would not be possible. ...
doi:10.1007/978-3-642-28795-4_7
dblp:conf/paams/FausGB12
fatcat:fcgpjbcdqrcx7ai4ik7rq3crzi
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
2008
2008 12th International Software Product Line Conference
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 2008; you can also visit the original URL.
The file type is application/pdf.
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. ...
These results show that our technique scales to models with over 5,000 features, which is well beyond the size used to validate other automated techniques. we present a technique for transforming a flawed ...
First, we extend the CURE model to associate a cost variable, b i ⊂ B, with each feature in the feature model. ...
doi:10.1109/splc.2008.16
dblp:conf/splc/WhiteSBTC08
fatcat:6jui5k3icjaavjgdhp4rbpb3he
Structured Model Representation of Manufacturing Processes Using Petri Nets and Knowledge Based Tools
[chapter]
1996
IFIP Advances in Information and Communication Technology
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.
Petri net formalism has been chosen for representating process features. Process features are attached to feature based model entities of mechanical parts. ...
In this paper an approach to manufacturing processes modeling and knowledge based decision making at manufacturing process planning is proposed. ...
Acknowledgements We thank the Hungarian-Portuguese intergovernmantal cooperation programme for partial support to this work. ...
doi:10.1007/978-0-387-35065-3_47
fatcat:dztgynzpo5fdbghj6spbpox7oq
XML Data Fusion
[chapter]
2010
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 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a model for XML data fusion, which allows the integrator to define data cleaning rules for solving value conflicts that may have been detected during the integration process. ...
These rules resemble decisions that are made by users when data are manually curated and, once defined, conflicts detected in subsequent integration processes that are within the context of existing rules ...
solving conflicts in real-world applications and for determining the cost of applying our rule-based cleaning policy. ...
doi:10.1007/978-3-642-15105-7_24
fatcat:jsua4wtx6bdeliv6yui6wqh7ey
A Comparative Analysis of the Social Graph Model and Multiparty Access Control Model for Online Social Networks
2015
International Journal of Future Computer and Communication
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 2020; you can also visit the original URL.
The file type is application/pdf.
In recent years, with the growth of the Internet, the number of users of Online Social Networks (OSNs) has increase. Users use these systems to communicate and share information with each other. ...
In order to protect the amount of data that is being shared in these systems and to avoid security and privacy issues, it is important to have an adequate Access Control Model. ...
In fact, this parameter is used to solve conflict resolution problems. In order to solve conflict resolution problems presented by multiparty access control policies, the model proposes a voting scheme ...
doi:10.18178/ijfcc.2015.4.5.404
fatcat:inqif4ueibg7dfnfpdchhftrwm
Optimal Decision Lists using SAT
[article]
2020
arXiv
pre-print
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 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we show for the first time how to construct optimal "perfect" decision lists which are perfectly accurate on the training data, and minimal in size, making use of modern SAT solving technology ...
Decision lists are one of the most easily explainable machine learning models. ...
One advantage of the approach is that it is easy to customize, for example, favoring the use of certain features, or extending to cost-sensitive learning. ...
arXiv:2010.09919v1
fatcat:njthre6b6rhb5cjtfem5ftj6li
Job Shop Scheduling by Branch and Bound Using Genetic Programming
2019
Procedia Manufacturing
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 2020; you can also visit the original URL.
The file type is application/pdf.
To support the selection decision, several features of nodes are stored under the BB method, and the correct selection at each branching stage is informed by the mixedinteger linear programming model. ...
To support the selection decision, several features of nodes are stored under the BB method, and the correct selection at each branching stage is informed by the mixedinteger linear programming model. ...
Tsuruoka for exchanging ideas in scheduling job shops. ...
doi:10.1016/j.promfg.2020.01.359
fatcat:3w4amxudzvgchjhrkyeqqbpsn4
Satisfiability Modulo Theories and Assignments
[chapter]
2017
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.
In this paper we lift CDCL to CDSAT (Conflict-Driven Satisfiability), a system for conflict-driven reasoning in combinations of disjoint theories. ...
In this paper we generalize conflict-driven reasoning to generic combinations of disjoint theories, solving the problem of combining multiple conflict-driven T i -satisfiability procedures into a conflict-driven ...
Acknowledgments The authors thank Dejan Jovanović for fruitful discussions. ...
doi:10.1007/978-3-319-63046-5_4
fatcat:ruo4tye77nb3nfo2tx355lgax4
Automated diagnosis of feature model configurations
2010
Journal of Systems 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.
A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs commonly use feature models to capture SPL configuration rules. ...
Invalid SPL configurations can be created due to feature conflicts introduced via staged or parallel configuration or changes to the constraints in a feature model. ...
Methods for Large Feature Models age solving time in the experiments. ...
doi:10.1016/j.jss.2010.02.017
fatcat:jo4qhunws5gtvaw6gc2asfofxm
Feature Models Preconfiguration Based on User Profiling
2019
Computer and Information 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.
Feature modeling is used to express commonality and variability among a family of software products called the software product line. ...
of a user profile model describing information about the user and the products he is used to consume. ...
. ,
2015)
-
-
Business related decision rules
applied on specific feature
attributes.
Model based
transformation generating
a CSP Problem solved
using Choco solver. ...
doi:10.5539/cis.v12n1p59
fatcat:k55hjivnzffjnm63yht7prdnsu
Towards a framework for collaborative and coordinated product configuration
2006
Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06
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 provide insights on important coordination issues and introduce an algorithm to derive process models from annotated feature models to illustrate the approach's feasibility. ...
This process is error-prone and risky as requirements may lead to conflicting decisions at configuration time. ...
Finally, in SCIO (solve conflicts only if they occur), conflict resolution will only take place in the end of the process and only if there are conflicting decisions. ...
doi:10.1145/1176617.1176655
dblp:conf/oopsla/MendoncaCOC06
fatcat:itrljag4k5axvhwyu5i32oh2ry
A Dsmt Based Combination Scheme For Multi-Class Classification
2013
Zenodo
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 2018; you can also visit the original URL.
The file type is application/pdf.
This paper presents a new combination scheme for reducing the number of focal elements to manipulate in order to reduce the complexity of the combination process in the multiclass framework. ...
Dezert for their valuable suggestions. ...
Theoretic formulation of Proportional Conflict Redistribution (PCR6) combination rule and the way it can be extended for solving the multi-class classification problem are presented in Section III. ...
doi:10.5281/zenodo.34743
fatcat:vlbeujnb3jfdxcqs3s2a3jxgdu
« Previous
Showing results 1 — 15 out of 159,766 results