349 Hits in 2.8 sec

Realtime Online Solving of Quantified CSPs [chapter]

David Stynes, Kenneth N. Brown
2009 Lecture Notes in Computer Science  
Arc Consistency, a lower level of consistency than SQGAC, to maximise pruning without removing solutions.  ...  We define Realtime Online solving of Quantified Constraint Satisfaction Problems (QCSPs) as a model for realtime online CSP solving.  ...  SQGAC applied to binary QCSPs reduces to arc consistency for QCSPs [5] which we shall refer to as Quantified Arc Consistency(QAC), and can be implemented without a complex tree structure. Gent et al  ... 
doi:10.1007/978-3-642-04244-7_60 fatcat:mvthexfjbrc4plomdn2prnk2le

Structural and kinematic constraints to the exhumation of the Alpujarride Complex (Central Betic Cordillera, Spain)

F. Rossetti, C. Faccenna, A. Crespo-Blanc
2005 Journal of Structural Geology  
A switch from an early ductile underthrusting regime (Paleogene in age) to semibrittle-to-brittle extension (Early Miocene onward) is here proposed as responsible for the exhumation history of the Alpujarride  ...  It involves early progressive top-to-the-N/NE ductile shearing, followed by a major top-to-the-N post-metamorphic extensional faulting event, which produced a complex re-organisation of the whole nappe  ...  Both-Rea is thanked for useful discussions, his field assistance and for providing some rock samples. We thank J.C. Balanyá, M. Comas, V. García-Dueñas and J.  ... 
doi:10.1016/j.jsg.2004.10.008 fatcat:33txrcincrbxzp4xkdyj5ads3u

Promoting robust black-box solvers through competitions

Christophe Lecoutre, Olivier Roussel, M. R. C. van Dongen
2010 Constraints  
This paper presents the experiences of the organisers of the four constraint solver competitions which were held in conjunction with CP in the previous years.  ...  The paper mainly focuses on the competitions which were held in 2008 and 2009, outlines the reasons for organising the competitions, describes how the solvers were evaluated, and presents lessons, observations  ...  Acknowledgements We would like to thank the judges who served at different competitions, all people that helped organizing the competitions, the ACP, and 4C and CRIL for their support.  ... 
doi:10.1007/s10601-010-9092-1 fatcat:z2fygrivfndo7gzy72y7mnc2cy

Geochronology and geochemistry of high-pressure granulites of the Arthur River Complex, Fiordland, New Zealand: Cretaceous magmatism and metamorphism on the palaeo-Pacific Margin

J. A. Hollis, G. L. Clarke, K. A. Klepeis, N. R. Daczko, T. R. Ireland
2003 Journal of Metamorphic Geology  
New SHRIMP U ⁄ Pb single zircon data are presented for magmatic, metamorphic and deformation events in the Arthur River Complex and adjacent rocks from northern Fiordland.  ...  The Arthur River Complex separates rocks of the Median Tectonic Zone, a Mesozoic island arc complex, from Palaeozoic rocks of the palaeo-Pacific Gondwana margin, and is itself intruded by the Western Fiordland  ...  This scenario is consistent with metamorphic and structural studies of the ARC (Clarke et al., 2000; Daczko et al., 2001a) .  ... 
doi:10.1046/j.1525-1314.2003.00443.x fatcat:fctvm4bnjzgd7oq4n54ezwfl54

Compressional origin of the Aegean Orogeny, Greece

Michael P. Searle, Thomas N. Lamont
2020 Geoscience Frontiers  
The overall structure is an~100 km wavelength NW-SE trending dome with low-angle extensional faults along each flank, dipping away from the anticline axis to the NE and SW.  ...  A B S T R A C T The Aegean Sea area is thought to be an actively extending back-arc region, north of the present day Hellenic volcanic arc and north-dipping subduction zone in the Eastern Mediterranean  ...  Santosh and Richard Palin for editorial handling.  ... 
doi:10.1016/j.gsf.2020.07.008 fatcat:f6ivpib7dzg33iexpz4yl6tryu

The Complexity of Reasoning with Global Constraints

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
2006 Constraints  
With global (or non-binary) constraints, the cost of such propagation may be much greater than the quadratic cost for binary constraints.  ...  In particular, we illustrate how computational complexity can be used to determine when a lesser level of local consistency should be enforced, when constraints can be safely generalized, when decomposing  ...  Complexity of Generalised Arc Consistency There are different questions that may arise when we consider enforcing generalised arc consistency.  ... 
doi:10.1007/s10601-006-9007-3 fatcat:2tasjvc7azcqnk3jvquuizhlhi

The Complexity of Reasoning with Global Constraints [article]

Christian Bessiere and Emmanuel Hebrard and Brahim Hnich and Toby Walsh
2009 arXiv   pre-print
With global (or non-binary) constraints, the cost of such propagation may be much greater than the quadratic cost for binary constraints.  ...  In particular, we illustrate how computational complexity can be used to determine when a lesser level of local consistency should be enforced, when constraints can be safely generalized, when decomposing  ...  Complexity of Generalised Arc Consistency There are different questions that may arise when we consider enforcing generalised arc consistency.  ... 
arXiv:0903.1139v1 fatcat:owkucsa6zvgmffr3at2ldm3a6u

Reverse Queries in DATR [article]

Hagen Langer
1994 arXiv   pre-print
In this paper we present an alternative access strategy (reverse query strategy) for a non-trivial subset of DATR.  ...  DATR is a declarative representation language for lexical information and as such, in principle, neutral with respect to particular processing strategies.  ...  We have proposed an algorithm for the evaluation of reverse queries in DATR.  ... 
arXiv:cmp-lg/9411024v1 fatcat:vzqgzp4w45aijpforokjlbga5i

Constraint Logic Programming [chapter]

Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Provost, Pierre Lim, Eric Monfroy, Mark Wallace
1992 Lecture Notes in Computer Science  
Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativity of logic programming with the efficiency of constraint solving.  ...  It will discuss the currently most successful computation domains and provide an overview on the different consistency techniques used in CLP and its implementations.  ...  Acknowledgements The authors would like to thank the following people for the discussions they had with them and for their encouragement and support: Abder Aggoun, Nicolas Beldiceanu, Fran~oise Berthier  ... 
doi:10.1007/3-540-55930-2_2 fatcat:f3kflbw6szewpkpoqsfe2mfneu

Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms [chapter]

Jessie Carbonnel, David Delahaye, Marianne Huchard, Clémentine Nebut
2019 Lecture Notes in Computer Science  
Variability analysis and representation is a central task of this paradigm: it consists in suitably defining and structuring the scope, the commonalities, and the differences between the derivable products  ...  Software product line engineering is a reuse-driven paradigm for developing families of similar products from a generic product backbone with identified options.  ...  A directed hypergraph is a directed graph generalisation where an arc can connect more than two vertices: such arcs are called hyperarcs.  ... 
doi:10.1007/978-3-030-23182-8_3 fatcat:3d7rdx345vfudoc4h34xtsfz34

Deductive Generation of Constraint Propagation Rules

Sebastian Brand, Eric Monfroy
2003 Electronical Notes in Theoretical Computer Science  
A solver (i. e., a set of rules) for a complex constraint is obtained from one or several weaker solvers for simple constraints.  ...  We describe incremental solver constructions for several types of constraint modifications, including conjunction, existential and universal quantification.  ...  We are grateful for the helpful suggestions of the reviewers.  ... 
doi:10.1016/s1571-0661(04)80675-3 fatcat:mjzavatjj5dthaicjrbhii2cfu

Mid to late Paleozoic shortening pulses in the Lachlan Orogen, southeastern Australia: a review

C. L. Fergusson
2017 Australian Journal of Earth Sciences  
I am most grateful to Evan Leitch for reading over the final draft and making many useful suggestions that have improved the manuscript.  ...  Generalised structural trends are shown for Cambrian-Ordovician rocks and are based on orientations of exposed structures and magnetic data.  ...  The interplay of extensional and contractional deformation in a backarc to arc setting for the Lachlan Orogen was reviewed by Fergusson (2010) in some detail.  ... 
doi:10.1080/08120099.2017.1273257 fatcat:gnib2xjyljguhgipawf7oklika

Implementing Propagators for Tabular Constraints [chapter]

Roman Barták, Roman Mecl
2004 Lecture Notes in Computer Science  
In the paper we study the implementation of filtering algorithms (propagators) for such tabular constraints.  ...  Many real-life constraints describing relations between the problem variables have complex semantics and the constraint domain is defined using a table of compatible tuples rather than using a formula.  ...  For constraints of higher arity, the notions of hyper arc-consistency or generalised arc-consistency are used. For simplicity reasons we will use the term consistency there.  ... 
doi:10.1007/978-3-540-24662-6_3 fatcat:anawbqicwrhr5ogaunnhwcat44

Accretion on the long-lived continental margin of northeastern Australia

Ian W. Withnall, Robert A. Henderson
2012 Episodes  
Figure 2 2 Generalised geology of north Queensland.  ...  These data constrain the protolith age as between 1700-1655 Ma.  ... 
doi:10.18814/epiiugs/2012/v35i1/016 fatcat:mor5aa5c7zdi5n4hhwklqhmvr4

Crustal architecture of the Capricorn Orogen, Western Australia and associated metallogeny

S. P. Johnson, A. M. Thorne, I. M. Tyler, R. J. Korsch, B. L. N. Kennett, H. N. Cutten, J. Goodwin, O. Blay, R. S. Blewett, A. Joly, M. C. Dentith, A. R. A. Aitken (+8 others)
2013 Australian Journal of Earth Sciences  
These features were formed during the punctuated reworking of the craton by the reactivation of the major crustal structures.  ...  A 581 km vibroseis-source, deep seismic reflection survey was acquired through the Capricorn Orogen of Western Australia and, for the first time, provides an unprecedented view of the deep crustal architecture  ...  Many thanks go to the two reviewers, Dr Peter Betts and Dr David Martin, for greatly improving the manuscript. Thanks also go to Michael Prause for drafting of figures.  ... 
doi:10.1080/08120099.2013.826735 fatcat:jhuvaevw6ndrllvtiyheuvheca
« Previous Showing results 1 — 15 out of 349 results