A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Filters
Connecting ABT with Arc Consistency
[chapter]
Lecture Notes in Computer Science
Preserved Fulltext
Here, we provide experimental results for ABT with directional and full (both directions) arc consistency on a set of random DisCSP instances. This paper is organized as follows. ...
Previous experimental results [9, 10], considered AAS [8] with bound consistency. ...
These agents will check their constraints with i to enforce arc consistency after a deletion (for instance, using the popular revise-2001 function [3] ). ...
doi:10.1007/978-3-540-85958-1_26
fatcat:33f36es3p5dcdcr7h2esdmjgqa
Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search
2012
2012 IEEE 24th International Conference on Tools with Artificial Intelligence
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 2014; you can also visit the original URL.
The file type is application/pdf.
The first algorithm we propose, MACA-del, enforces arc consistency thanks to an additional type of messages, deletion messages. ...
However, instead of using forward checking as a filtering property, we propose to maintain arc consistency asynchronously (MACA). ...
Brito and Meseguer (2008) proposed ABT-uac and ABT-dac, two algorithms that connect ABT with arc consistency [6] . ...
doi:10.1109/ictai.2012.14
dblp:conf/ictai/WahbiEBB12
fatcat:lcdpugm445c2ti5cftxdfzlnfa
Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search
[chapter]
2013
Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems
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 2014; you can also visit the original URL.
The file type is application/pdf.
The first algorithm we propose, MACA-del, enforces arc consistency thanks to an additional type of messages, deletion messages. ...
However, instead of using forward checking as a filtering property, we propose to maintain arc consistency asynchronously (MACA). ...
Brito and Meseguer (2008) proposed ABT-uac and ABT-dac, two algorithms that connect ABT with arc consistency [6] . ...
doi:10.1002/9781118753620.ch5
fatcat:66w35vkuy5bfxoqothpqwfliyu
The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation
1985
International Joint Conference on Artificial Intelligence
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.
Thus, counting the number of solutions in a tree with n variables takes 0(nk 2 ), the same as establishing directional arc-consistency.
B. ...
Therefore, once a directed arc is made arc-consistent its consistency will not be violated. ...
dblp:conf/ijcai/DechterP85
fatcat:tpvjuywyvjga3eeycfvmsz7rk4
Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT
[chapter]
2014
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 2017; you can also visit the original URL.
The file type is application/pdf.
[25] shows how to generate corresponding explanations: given the residual graph, the removal of an arc starting from a vertex belonging to a strongly connected component S 1 to a distinct strongly connected ...
component S 2 is explained by all missing arcs from a descendant component of S 2 to an ancestor component of S 1 (since any one of these arcs would merge S 1 and S 2 into the same strongly connected ...
doi:10.1007/978-3-319-10428-7_52
fatcat:3kdseqobcvb3jckw3hxtjb3pqe
Global Constraints in Distributed Constraint Satisfaction and Optimization
2013
Computer journal
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 explore the relation of global constraints with local consistency (both in the hard and soft cases), in particular for generalized arc consistency (GAC). ...
Typically, id contains the item identifier, according to the provider catalog, while type indicates the type of device or connection, with the following values: motherboard, memory card, hard disk, DVD ...
Soft Arc Consistency. ...
doi:10.1093/comjnl/bxt088
fatcat:wtmfo7fxzfhi7k7rsidwqfyrhq
Nd isotope mapping of the Grenvillian Allochthon Boundary Thrust in Algonquin Park, Ontario
2019
Canadian journal of earth sciences (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 2019; you can also visit the original URL.
The file type is application/pdf.
The boundaries determined using Nd isotope mapping are consistent with field 15 mapping and with remotely sensed aeromagnetic and digital elevation data. ...
The ABT is underlain by a domain with 13 Paleoproterozoic Nd model ages, interpreted as a tectonic duplex entrained onto the base of the 14 main allochthon. ...
This is consistent with the development of a 1.45 Ga ensialic arc on objective of this study was to establish the location of the eastward extension 280 of the Muskoka Shear Zone in Algonquin Park, argued ...
doi:10.1139/cjes-2018-0142
fatcat:uzyd76tb6nbqhbmagei7dqykzm
Coordination for Component Composition
2006
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.
All n Sync channels that correspond to the outgoing arcs of this transition are connected to the single output node of this sub-circuit. ...
A transition with a single incoming arc and n > 0 outgoing arcs corresponds to a node with one incoming and n outgoing Sync channels. ...
doi:10.1016/j.entcs.2006.05.013
fatcat:vbjntf3eifhotg7lsm5zoy4nvq
In-Situ Feature Extraction of Large Scale Combustion Simulations Using Segmented Merge Trees
2014
SC14: International Conference for High Performance Computing, Networking, Storage and Analysis
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 ever increasing amount of data generated by scientific simulations coupled with system I/O constraints are fueling a need for in-situ analysis techniques. ...
Our approach allows state-of-the-art, feature-based analysis to be performed in-situ at significantly higher frequency than currently possible and with negligible impact on the overal simulation runtime ...
The corrections to the local tree may involve splitting arcs when non-local saddles are introduced, joining arcs where non-local information determines two features to be connected, and changing the classification ...
doi:10.1109/sc.2014.88
dblp:conf/sc/LandgePGBKCB14
fatcat:z6d55gkpqrhrxkwmmjpamhsudq
Consistency Maintenance for ABT
[chapter]
2001
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 2005; you can also visit the original URL.
The file type is application/pdf.
This paper shows how an algorithm for maintaining consistency during distributed asynchronous search can be designed upon ABT. The proposed algorithm is complete and has polynomial-space complexity. ...
One of the most well-known asynchronous search algorithms is Asynchronous Backtracking (ABT). ...
The minimum space an agent needs with DMAC-ABT for ensuring maintenance of the highest degree of consistency achievable with DC is O(v Proof. d-maximal domain size;v-number of variables. ...
doi:10.1007/3-540-45578-7_19
fatcat:rqxk6oprrneqpnk7hevzjgzmye
Simulation Method of Borehole Trajectory Based on Vector Similarity
2020
Mathematical Problems in Engineering
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.
This work provides a feasible method to simulate ABT in the well planning stage and enhances the reliability of the predicted torque and drag results. ...
The case well experiment results show that the control deviations of the SBT and the ABT relative to the DBT are close, and the fluctuation law is similar. ...
And ABT is connected by lots of arcs fitted by points measured by the inclinometer according to the depth sequence [1] . e length of these arcs is usually short and closely related to the spacing of the ...
doi:10.1155/2020/4834802
fatcat:mvcvyqp245bn5m2awx2jffin3u
THE ROLE OF STORYTELLING AS AN ANALYTICAL TOOL IN SCIENTIFIC RESEARCH
2023
Proceedings of the Design Society
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 2023; you can also visit the original URL.
The file type is application/pdf.
Thus, the assessment is mediated by how well the research plan, proposal, report, or presentation, communicates the research to the reviewer and how well it connects the dots. ...
The reported findings are based on studies with two different storytelling frameworks applied to assess research representations made by doctoral researchers as part of their annual research progress review ...
The story, argument, or explanation begins with little tension or conflict by connecting the initial facts with ANDs. ...
doi:10.1017/pds.2023.349
fatcat:o3yzrrcle5eyzdkbkss2q4tf7m
Computing Structural Properties of Symmetric Nets
[chapter]
2015
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.
unfolded model: with this approach the symmetries present in the models are completely ignored and cannot be exploited. ...
Moreover some structural relations allow to automatize the derivation of symbolic Ordinary Differential Equations for the solution of SSN models with huge state space. ...
and the function appearing on the input arc connecting t and p; AtP (t, p) = AbT t (p, t) : cd(p) → 2 cd(t) , Adds to Place (transpose of AbT ): given a color of p it provides the color instances of t ...
doi:10.1007/978-3-319-22264-6_9
fatcat:eeedtcaevjdphevc5myhmhjro4
Framework for Modeling Reordering Heuristics for Asynchronous Backtracking
2006
2006 IEEE/WIC/ACM International Conference on Intelligent Agent 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 2007; you can also visit the original URL.
The file type is application/pdf.
We also report that min-domain dynamic ordering heuristics for ABTR are worse than no reordering and better than max-domain (in experiments that also use maintenance of arc consistency). ...
reordering heuristics in ABT and proposes a general protocol called Asynchronous Backtracking with Reordering (ABTR). ...
Here we introduce a general and systematic formalism for describing heuristics that are correct with ABTR. ...
doi:10.1109/iat.2006.68
dblp:conf/iat/Silaghi06
fatcat:zoeikezdvzcfffyuvh6bhcux2q
Evaluation of Nd isotope data for the Grenville Province of the Laurentian shield using a geographic information system
2011
Geosphere
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 is consistent with the proposed Paleoproterozoic age of the suture, in contrast to the Grenvillian (ca. 1070 Ma) age of the ABT. ...
COMPARISON WITH THE GEOLOGICAL SURVEY OF CANADA COMPILATION MAP Although the evidence from Nd isotope mapping is consistent with lithological mapping, as described here, others have not found the ABT location ...
doi:10.1130/ges00612.1
fatcat:lfcy4ws4ijfy3lwepzbaj5xem4
« Previous
Showing results 1 — 15 out of 2,059 results