Filters








126 Hits in 2.6 sec

Page 2361 of Mathematical Reviews Vol. , Issue 95d [page]

<span title="">1995</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;
operator with subsumption.  ...  Moreover, we provide a differential fixpoint operator for efficient query evaluation. This operator discards subsumed tuples on the fly.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1995-04_95d/page/2361" 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_1995-04_95d/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Coinduction Plain and Simple [article]

François Bry
<span title="2020-07-22">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This generalization makes the coinduction proof principle more intuitive and stresses its closeness with structural induction.  ...  The article finally suggests in its conclusion extensions of functional and logic programming with limited and decidable forms of the generalized coinduction proof principle.  ...  The author thanks the seminar participants for their useful comments on his seminar presentation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.09909v2">arXiv:2007.09909v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l5euzvldcrgmdl2wpbtrll7kpq">fatcat:l5euzvldcrgmdl2wpbtrll7kpq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200724020718/https://arxiv.org/pdf/2007.09909v2.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/8e/5e/8e5e1f86c56d473a9b52c98b4d2001e975e6c5ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.09909v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

LCF-style Platform based on Multiway Decision Graphs

Sa'ed Abed, Otmane Ait Mohamed
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We define a platform to represent the MDG operations: conjunction, disjunction, relational product and prune-by-subsumption as a set of inference rules.  ...  Finally, we present some experimental results to show the performance of the MDG operations of our platform.  ...  Pruning by Subsumption (PbyS) Operation The PbyS operation represents the core of the reachability analysis algorithm.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.012">doi:10.1016/j.entcs.2009.07.012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6nfl3dltdvbb3hiek75nphqoji">fatcat:6nfl3dltdvbb3hiek75nphqoji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171005081957/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/efe/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwOTAwMjM0NQ%3D%3D.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/5d/8a/5d8a40a7047cce53f4fa3a55f0f58c1ecbed212e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

TCHR: a framework for tabled CLP [article]

Tom Schrijvers, Bart Demoen, David S. Warren
<span title="2007-12-26">2007</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The framework is easily instantiated with new application-specific constraint domains. Various high-level operations can be instantiated to control performance.  ...  Tabled Constraint Logic Programming is a powerful execution mechanism for dealing with Constraint Logic Programming without worrying about fixpoint computation.  ...  Ramakrishnan for the interesting discussions and help on applications of tabled execution and constraints in the field of model checking. We thank the anonymous reviewers for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0712.3830v1">arXiv:0712.3830v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jw2ce5fejnftfbcu5lzcxgvdnm">fatcat:jw2ce5fejnftfbcu5lzcxgvdnm</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-0712.3830/0712.3830.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/0712.3830v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

TCHR: a framework for tabled CLP

TOM SCHRIJVERS, BART DEMOEN, DAVID S. WARREN
<span title="2008-02-26">2008</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
The framework is easily instantiated with new application-specific constraint domains. Various high-level operations can be instantiated to control performance.  ...  AbstractTabled Constraint Logic Programming is a powerful execution mechanism for dealing with Constraint Logic Programming without worrying about fixpoint computation.  ...  Ramakrishnan for the interesting discussions and help on applications of tabled execution and constraints in the field of model checking. We thank the anonymous reviewers for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s147106840800327x">doi:10.1017/s147106840800327x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bk3a5qzcnzf5hm26p5dzmljepe">fatcat:bk3a5qzcnzf5hm26p5dzmljepe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171121201602/https://core.ac.uk/download/pdf/34345420.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/4f/d4/4fd44c5e7827d500e45b2139f9bd3f38cc32eac2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s147106840800327x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

A Static Analysis Framework for Data Science Notebooks [article]

Pavle Subotić, Lazar Milikić, Milan Stojić
<span title="2021-10-25">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Our evaluation demonstrates that the vast majority (98.7%) of notebooks can be analysed in less than a second, well within the time frame required by interactive notebook clients  ...  Our framework is general in the sense that it accommodate for a wide range of analyses, useful for various notebook use cases.  ...  ACKNOWLEDGEMENT We thank our colleagues at Gray Systems Lab (GSL), for making available the benchmarks suite used in [10] . We thank our colleagues from Azure Data Labs for their feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2110.08339v2">arXiv:2110.08339v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chzx2kuxkzgwzitmrjcjpyvvve">fatcat:chzx2kuxkzgwzitmrjcjpyvvve</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211102020515/https://arxiv.org/pdf/2110.08339v2.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/36/d5/36d56e8d867768951f6c44bb622033d73834b870.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2110.08339v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

Peter J. Stuckey, S. Sudarshan
<span title="">1997</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
In this paper, we extend Ordered Search to compute the well-founded semantics for all (nonfloundering) programs with negation.  ...  1> There have been several evaluation mechanisms proposed for computing query answers based on the well-founded semantics, for programs with negation.  ...  If the subsumption is in the order direction, the collapse operation is not initiated.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(96)00110-0">doi:10.1016/s0743-1066(96)00110-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ueyuol7kzakzmrgf2dcqtvpna">fatcat:2ueyuol7kzakzmrgf2dcqtvpna</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924080948/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/111/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDc0MzEwNjY5NjAwMTEwMA%3D%3D.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/70/81/7081cdbad87de87e74a321a67f4783b9e71d7e24.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(96)00110-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

From Model-Checking to Temporal Logic Constraint Solving [chapter]

François Fages, Aurélien Rizk
<span title="">2009</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;
domain for the variables rather than a truth value for the formula.  ...  We illustrate this approach with reverseengineering problems coming from systems biology, and provide some performance figures on parameter optimization problems with respect to temporal logic specifications  ...  We gracefully acknowledge discussions with Sylvain Soliman and Grégory Batt on this topic, partial support from the European FP6 Strep project TEMPO, and the reviewer's comments for improving the presentation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04244-7_26">doi:10.1007/978-3-642-04244-7_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/woxsmrefkja4fn7grsp2h32ny4">fatcat:woxsmrefkja4fn7grsp2h32ny4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922005039/http://contraintes.inria.fr/~fages/Papers/FR09cp.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/76/2b/762b9c357789224b1a0293bc55c7bab2585f5ec9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04244-7_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 1060 of Mathematical Reviews Vol. , Issue 95b [page]

<span title="">1995</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;
Giintzer, The differential fixpoint operator with subsumption (35-48); Laks V.  ...  Veneris, Efficient algorithms for checking the atomicity of a run of read and write operations (54-68); James E. Burns, + a pte a Po ee ee oe  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1995-02_95b/page/1060" 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_1995-02_95b/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Query-driven Procedures for Hybrid MKNF Knowledge Bases [article]

José Júlio Alferes, Matthias Knorr, Terrance Swift
<span title="2011-12-09">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Such an oracle has practical use, as EL++ is the language underlying OWL 2 EL, which is part of the W3C recommendations for the Semantic Web, and is tractable for reasoning tasks such as subsumption.  ...  Such an (abstract) oracle receives as input a query along with knowledge already derived, and replies with a (possibly empty) set of atoms, defined in the rules, whose truth would suffice to prove the  ...  The least fixpoint of the MKNF W F operator coincides with the · 3 original WFS [ van Gelder et al. 1991] if the ontology is empty, and coincides with the semantics of the ontology if there are no rules  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1007.3515v2">arXiv:1007.3515v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mn3znl4w5bgp5av3jwf7jcsluu">fatcat:mn3znl4w5bgp5av3jwf7jcsluu</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1007.3515/1007.3515.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/07/e90778e3c881cd4fe95d728f1cc9c88dab9d1aa0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1007.3515v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Query-Driven Procedures for Hybrid MKNF Knowledge Bases

José Júlio Alferes, Matthias Knorr, Terrance Swift
<span title="2013-06-01">2013</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3kjjbv4edjbezl2w37ipy5lo5a" style="color: black;">ACM Transactions on Computational Logic</a> </i> &nbsp;
Such an oracle has practical use, as EL ++ is the language underlying OWL 2 EL, which is part of the W3C recommendations for the Semantic Web, and is tractable for reasoning tasks such as subsumption.  ...  Such an (abstract) oracle receives as input a query along with knowledge already derived, and replies with a (possibly empty) set of atoms, defined in the rules, whose truth would suffice to prove the  ...  ACKNOWLEDGMENT We would like to thank the anonymous reviewers whose comments helped to improve this work. ACM Transactions on Computational Logic, Vol. V, No.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2480759.2480768">doi:10.1145/2480759.2480768</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vfmtq3selnbs5jxdnfkbyqe4ta">fatcat:vfmtq3selnbs5jxdnfkbyqe4ta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150620191224/http://tocl.acm.org/accepted/464knorr.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/f3/04/f3044da6d7c8a79f0d86a0f8092026724aefc5b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2480759.2480768"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The s-semantics approach: Theory and applications

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
<span title="">1994</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
The semantics in terms of extended interpretations can be obtained as a result of both an operational (top-down) and a fixpoint (bottom-up) construction.  ...  This paper is a general overview of an approach to the semantics of logic programs whose aim is to find notions of models which really capture the operational semantics, and are, therefore, useful for  ...  A fixpoint semantics, compositional with respect to the a operator and correct with respect to "diff, has been obtained by a generalization of the semantics On(P) of Section 4.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90026-4">doi:10.1016/0743-1066(94)90026-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5d5ypkaogvafhk2lxz43h3c4mq">fatcat:5d5ypkaogvafhk2lxz43h3c4mq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413193025/https://core.ac.uk/download/pdf/82167233.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/bf/de/bfde980789f4e5024455fac484cb97148cf83483.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90026-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Supporting Pruning in Tabled LP [chapter]

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
<span title="">2013</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;
This paper analyzes issues which appear when supporting pruning operations in tabled LP.  ...  The use of once/1 with answer-on-demand strategies makes it possible to avoid computing unneeded solutions for problems which can benefit from tabled LP but in which only a single solution is needed, such  ...  This does not affect the completion operation fixpoint.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-45284-0_5">doi:10.1007/978-3-642-45284-0_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5eyxyhs5fzalpacangmrmxqeom">fatcat:5eyxyhs5fzalpacangmrmxqeom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722220815/http://cliplab.org/papers/chico-pruning-padl13.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/77/a8/77a8885b3674f924a9fcc7e93adf7c226ce81c51.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-45284-0_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automatic Verification of Hybrid Systems with Large Discrete State Space [chapter]

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
<span title="">2006</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;
Technically, it deals with discrete-time hybrid systems with linear differentials. The paper presents the approach, its prototype implementation, and first experimental data.  ...  These include implication checks for simple constraints, test vector generation for fast inequality checks of boolean combinations of constraints, and an exact subsumption check for representations of  ...  Of central importance is the ability to perform a subsumption check on our hybrid state-set representation in order to detect whether a fixpoint has been reached during model checking.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11901914_22">doi:10.1007/11901914_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ke6rvnscjalvc7xvc3uoeqalm">fatcat:3ke6rvnscjalvc7xvc3uoeqalm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170108002702/http://satoss.uni.lu/members/jun/papers/ATVA06.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/fe/1d/fe1d4af5306367a00d11af5b037b3ad3d33f12ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11901914_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Four Lessons in Versatility or How Query Languages Adapt to the Web [chapter]

François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina
<span title="">2009</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;
than two separate or embedded languages), thus minimizing the conceptual overhead of dealing with disparate data formats. (2) Both the declarative (logic-based) and the operational semantics are unified  ...  This fracturing stifles innovation as application builders have to cope not only with one Web stack (e.g., XML technology) but with several ones, each of considerable complexity.  ...  Together with the DELETE FROM ... WHERE operation, this operation can be used to move data from one RDF graph to another.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04581-3_2">doi:10.1007/978-3-642-04581-3_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tyjxlcot7bgztckkzfw6vqq24m">fatcat:tyjxlcot7bgztckkzfw6vqq24m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829023239/http://www.en.pms.ifi.lmu.de/publications/PMS-FB/PMS-FB-2009-10/PMS-FB-2009-10-paper.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/72/72/72723f528559c8a0484b2f884482ea51aff66513.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04581-3_2"> <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 126 results