Filters








7,763 Hits in 5.1 sec

A restriction mapping engine using constraint logic programming

T I Dix, C N Yee
<span title="">1994</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q33b3suvffclbkvfvrsg3ljwjm" style="color: black;">Proceedings. International Conference on Intelligent Systems for Molecular Biology</a> </i> &nbsp;
We use both the predicate calculus and constraint solving capabilities of CLP(R) to develop an engine for restriction mapping.  ...  Restriction mapping generally requires the application of information from various digestions by restriction enzymes to find solution sets.  ...  Introduction Restriction site mapping (RSM) is a very common and important procedure in analysis of DNA molecules. The underlying problem is to construct a map of a DNA molecule.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/7584380">pmid:7584380</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dbtfmqdujze2dlubdfiy36xyty">fatcat:dbtfmqdujze2dlubdfiy36xyty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151028225752/http://www.aaai.org/Papers/ISMB/1994/ISMB94-014.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/2e/2c2e77a385db462f8fb1b35932350334fd333433.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 6048 of Mathematical Reviews Vol. , Issue 98I [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Logic Programming 33 (1997), no. 2, 81-99. Summary: “Restriction mapping involves finding certain sites on a DNA molecule.  ...  We present a theoretical framework that treats constraints for the various techniques in a homogeneous and consistent manner.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-09_98i/page/6048" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-09_98i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Genetic map construction with constraints

D A Clark, C J Rawlings, S Doursenot
<span title="">1994</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q33b3suvffclbkvfvrsg3ljwjm" style="color: black;">Proceedings. International Conference on Intelligent Systems for Molecular Biology</a> </i> &nbsp;
A pilot program, CME, is described for generating a physical genetic map from hybridization fingerprinting data. CME is implemented in the parallel constraint logic programming language ElipSys.  ...  The features of constraint logic programming are used to enable the integration of pre-existing mapping information (partial probe orders from cytogenetic maps and local physical maps) into the global  ...  Thanks to Richard Mott (ICRF Genome Analysis Laboratory) for making data and display programs available and ECRC colleagues for ElipSys support.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/7584421">pmid:7584421</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a6iwucxu6fbptamo4icf3weeiu">fatcat:a6iwucxu6fbptamo4icf3weeiu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151028231253/http://www.aaai.org/Papers/ISMB/1994/ISMB94-010.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ec/50/ec5017c9863249487acad7a7bc19818abc89744d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Constraint-Based System for Genomic Analysis

Nittaya Kerdprasop, Kittisak Kerdprasop
<span title="">2015</span> <i title="EJournal Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e6is5iwmnbcmbnglc3l4nytwou" style="color: black;">International Journal of Information and Education Technology</a> </i> &nbsp;
In this paper, we propose a different setting of sequence analysis formulation based on the nucleotide patterns using a constraint logic programming paradigm, in which the sequence alignment can be performed  ...  We propose in this paper the design of a constraint-based system for genomic sequence analysis including the algorithm for the constraint solver, a major part of the proposed system.  ...  A toy example of map coloring inFig. 4illustrates the constrain-and-search strategy of constraint logic programming (CLP), as opposed to the generate-and-test of logic programming (LP) scheme.%% CLP style  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7763/ijiet.2015.v5.487">doi:10.7763/ijiet.2015.v5.487</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jxutnxbhvjedlfn22ksfntkz2m">fatcat:jxutnxbhvjedlfn22ksfntkz2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720105656/http://www.ijiet.org/papers/487-I017.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/6a/f56a757ad479e76f05ae7cc66b34dcaa635e119a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7763/ijiet.2015.v5.487"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Computational Ontologies and Information Systems II: Formal Specification

Raj Sharman, Rajiv Kishore, Ram Ramesh
<span title="">2004</span> <i title="Association for Information Systems"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3kocyo3l3zdxdhhey2xm7pjnpy" style="color: black;">Communications of the Association for Information Systems</a> </i> &nbsp;
This paper provides a review of the formalisms, languages, and tools for specifying and implementing computational ontologies. Directions for future research are also provided.  ...  He is the recipient of a multi-year National Science Foundation research grant as a co-principal investigator in the area of IT outsourcing. Rajiv is  ...  His papers are published or accepted for publication in Communications of the ACM, Decision Support Systems, Information Systems Frontiers, Journal of Healthcare Information Management, and Journal of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17705/1cais.01409">doi:10.17705/1cais.01409</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dfu3w3kzj5e7tciktzipwegvmm">fatcat:dfu3w3kzj5e7tciktzipwegvmm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428151024/https://aisel.aisnet.org/cgi/viewcontent.cgi?article=3268&amp;context=cais" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/59/10/5910909fe8b555ef3ecf640078229c2bde72aa7a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17705/1cais.01409"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

MultiMap: an expert system for automated genetic linkage mapping

T C Matise, M Perlin, A Chakravarti
<span title="">1993</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q33b3suvffclbkvfvrsg3ljwjm" style="color: black;">Proceedings. International Conference on Intelligent Systems for Molecular Biology</a> </i> &nbsp;
MultiMap need not be restricted to the construction of genetic maps, but could be adapted to aid in the automated construction of physical maps as well.  ...  This program greatly reduces the amount of user-computer interaction, increasing the accuracy and speed with which a map can be constructed.  ...  Matise is a postdoctoral fellow partially funded by the University of Pittsburgh, and is a fellow of the W.M.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/7584344">pmid:7584344</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rucpolcwrrdhdnf3j5jyznb67y">fatcat:rucpolcwrrdhdnf3j5jyznb67y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171013144307/http://www.aaai.org:80/Papers/ISMB/1993/ISMB93-030.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/32/26322c549c5dfccfc22320719ab6020dd0f5fd72.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Foundations of the rule-based system ρLog

Mircea Marin, Temur Kutsia
<span title="">2006</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5dxceprzerhvngc2dulzkx45le" style="color: black;">Journal of Applied Non-Classical Logics</a> </i> &nbsp;
We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching  ...  values; and (2) strategic programming with labeled rules.  ...  Acknowledgements Mircea Marin has been supported by the JSPS Grant-in-Aid no. 17700025 for Scientific Research sponsored by the Japanese Ministry of Education, Culture, Sports, Science and Technology (  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3166/jancl.16.151-168">doi:10.3166/jancl.16.151-168</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y4aoal2n5jeutoimbr3dcfoy2q">fatcat:y4aoal2n5jeutoimbr3dcfoy2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705102123/http://www.risc.jku.at/publications/download/risc_2942/Marin-Kutsia-JANCL-06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/1d/e41d53cedc5e671f744c20417f48f69ba5bd76a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3166/jancl.16.151-168"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Inductive logic programming

Stephen Muggleton
<span title="">1991</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tg7qlmhqujdc7af72ot22mh7y4" style="color: black;">New generation computing</a> </i> &nbsp;
A new research area, Inductive Logic Programming, is presently emerging.  ...  In terms of logic we provide a unifying framework for Muggleton and Buntine's Inverse Resolution (IR) and Plotkin's Relative Least General Generalisation (RLGG) by rederiving RLGG in terms of IR.  ...  The author would like to thank Wray Buntine, Cao Feng, Michael Bain and Donald Michie for their helpful discussions and advice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf03037089">doi:10.1007/bf03037089</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xdit3d46qfgx5c6frntu4cx3se">fatcat:xdit3d46qfgx5c6frntu4cx3se</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180820085850/http://www.doc.ic.ac.uk/%7Eshm/Papers/ilp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/17/49/1749fc7daf90f1cd7a299117ea6a6db19c4cb514.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf03037089"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Prerouted FPGA Cores for Rapid System Construction in a Dynamic Reconfigurable System

Timothy F. Oliver, Douglas L. Maskell
<span title="">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qdjkc7427rgarmzaexozmec3eq" style="color: black;">EURASIP Journal on Embedded Systems</a> </i> &nbsp;
A method of constructing prerouted FPGA cores, which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing systems, is presented.  ...  An academic design flow has been modified to include a wire policy and an interface constraints framework that tightly constrains the use of the wires that cross a core's boundaries.  ...  For simplicity, the resource constraint layer restricts a core's resource to a rectangle.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2007/41867">doi:10.1155/2007/41867</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rtpl3rutzfh5tigl6h2xrqxvzm">fatcat:rtpl3rutzfh5tigl6h2xrqxvzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705152131/http://jes-eurasipjournals.springeropen.com/track/pdf/10.1155/2007/41867?site=jes.eurasipjournals.springeropen.com" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/75/a3754222d05c1bf6d353288b5528b3eaca9ea174.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2007/41867"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Prerouted FPGA Cores for Rapid System Construction in a Dynamic Reconfigurable System

TimothyF Oliver, DouglasL Maskell
<span title="">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qdjkc7427rgarmzaexozmec3eq" style="color: black;">EURASIP Journal on Embedded Systems</a> </i> &nbsp;
A method of constructing prerouted FPGA cores, which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing systems, is presented.  ...  An academic design flow has been modified to include a wire policy and an interface constraints framework that tightly constrains the use of the wires that cross a core's boundaries.  ...  For simplicity, the resource constraint layer restricts a core's resource to a rectangle.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1687-3963-2007-041867">doi:10.1186/1687-3963-2007-041867</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ojw2qp44v5hzna3rextdizyx64">fatcat:ojw2qp44v5hzna3rextdizyx64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705152131/http://jes-eurasipjournals.springeropen.com/track/pdf/10.1155/2007/41867?site=jes.eurasipjournals.springeropen.com" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a3/75/a3754222d05c1bf6d353288b5528b3eaca9ea174.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/1687-3963-2007-041867"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Prototyping a genetics deductive database

C Hearne, Z Cui, S Parsons, S Hajnal
<span title="">1994</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q33b3suvffclbkvfvrsg3ljwjm" style="color: black;">Proceedings. International Conference on Intelligent Systems for Molecular Biology</a> </i> &nbsp;
We have introduced a formal basis for the representation and reasoning necessary to order genome map data and handle the uncertainty inherent in biological data.  ...  Currently our prototype provides storage for biological facts and rules with flexible access via an interactive graphical display.  ...  Acknowledgements This research was partly supported by the European Commission under ESPRIT Project 6333 IDEA (Intelligent Database Environments for Advanced Applications).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/7584387">pmid:7584387</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zhlsegwikzcwhemdlse5zapwii">fatcat:zhlsegwikzcwhemdlse5zapwii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151026222041/http://www.aaai.org/Papers/ISMB/1994/ISMB94-021.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/86/1186d8a29518feb36ac658bc0ddea0b85824ffe3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Integration of competing ancillary assertions in genome assembly

C Burks, R J Parsons, M L Engle
<span title="">1994</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q33b3suvffclbkvfvrsg3ljwjm" style="color: black;">Proceedings. International Conference on Intelligent Systems for Molecular Biology</a> </i> &nbsp;
Assembly of genomic sequences and maps relies on a primary set of experimental data (e.g., the sequences of individual DNA fragments, or hybridization fingerprints of individual clone inserts), but almost  ...  in the context of assembling DNA sequencing fragments to reconstruct a parent sequence.  ...  R.P. was supported by a LANL Director's Postdoctoral Fellowship. Part of this work was done during a workshop at the Aspen Center for Physics funded by the National Science Foundation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/7584419">pmid:7584419</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jco7pj7xf5bvxoxdpt6mnxlixu">fatcat:jco7pj7xf5bvxoxdpt6mnxlixu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151026214528/http://www.aaai.org/Papers/ISMB/1994/ISMB94-008.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/56/c8/56c8391c89c976796cf73344ff0a77341db9d189.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

An Evaluation Of A Linguistically Motivated Conversational Software Agent Framework

Kulvinder Panesar
<span title="2019-07-16">2019</span> <i title="Universitat Politecnica de Valencia"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nkrbvo7t25bjfdomtezqyjf44e" style="color: black;">Journal of Computer-Assisted Linguistic Research</a> </i> &nbsp;
<p>This paper presents a critical evaluation framework for a linguistically motivated conversational software agent (CSA).  ...  The CSA prototype investigates the integration, intersection and interface of the language, knowledge, and speech act constructions (SAC) based on a grammatical object, and the sub-model of belief, desires  ...  DNA DNA LOGICAL STRUCTURE (LS) : DNA An Evaluation of a Lingustically Motivated Conversational Software Agent Framework 45 Further TABLE 2 . 2 OVERVIEW OF THE RRG STEPS (PANESAR, 2017).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4995/jclr.2019.11118">doi:10.4995/jclr.2019.11118</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nrbqyuzpfjanflccpjptvapcjy">fatcat:nrbqyuzpfjanflccpjptvapcjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200214170032/https://polipapers.upv.es/index.php/jclr/article/download/11118/11640" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6b/66/6b66f967eba0aae2896c697143b24c448b5c788a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4995/jclr.2019.11118"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Strategic directions in constraint programming

Pascal Van Hentenryck, Vijay Saraswat
<span title="1996-12-01">1996</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
Particular thanks to Vineet Gupta for invaluable last-minute assistance.  ...  For example, arithmetic constraints over real variables within a subset of first order logic can describe a wide variety of data, including 2D or 3D geographic maps; geometric modeling objects for CAD/  ...  Perhaps unique to CP are modeling languages that exploit logic-based control constructs [e.g., constraint logic programming (CLP) or concurrent constraint programming (CCP)].  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/242223.242279">doi:10.1145/242223.242279</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3aqe7rubijeddoahomxho2vtou">fatcat:3aqe7rubijeddoahomxho2vtou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706015543/http://cmpe.emu.edu.tr/bayram/courses/532/ForPresentation/p701-van_hentenryck.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/31/74/3174608b2ceaec1a73f9c50217846f5cc6cc4ef9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/242223.242279"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Data Structure as Topological Spaces [chapter]

Jean-Louis Giavitto, Olivier Michel
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The basic computation step in mgs relies on the notion of path : a path C is substituted for a path B in a topological collection A.  ...  This idea underlies an experimental declarative programming language called mgs. mgs introduces the notion of topological collection: a set of values organized by a neighborhood relationship.  ...  Cohen for numerous challenging questions and useful comments. This research is supported in part by the CNRS, the GDR ALP, IMPG and Genopole/Evry.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45833-6_12">doi:10.1007/3-540-45833-6_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d3st3accorfj3ome4g5d5bcrlq">fatcat:d3st3accorfj3ome4g5d5bcrlq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808070358/http://repmus.ircam.fr/_media/giavitto/export/giavitto__umc02__data_structure_as_topological_spaces.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d7/65/d7651cf634b55488900680a5d2e9248c54f8c738.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45833-6_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 7,763 results