Results 11 to 20 of about 23,557 (297)
Loop checking and negation [PDF]
The Journal of Logic Programming, 1991 AbstractIn this paper we extend the concept of loop checking from positive programs (as described in [1]) to locally stratified programs. Such an extension is not straightforward: the introduction of negation requires a (re)consideration of the choice of semantics, the description of a related search space, and new soundness and completeness results ...
Bol, Roland N. +2 more
openaire +3 more sources
Generalizing completeness results for loop checks in logic programming [PDF]
Theoretical Computer Science, 1992 Loop checking is one of the fundamental problems encountered during the search of effective algorithms for logic programming. This complex problem cannot be solved in full generality (even in absence of function symbols). In \textit{R. N. Bol, K. R. Apt} and \textit{J. W. Klop} [ Theor. Comput. Sci. 86, No.
Bol, Roland N., Bol, R.N.
openaire +4 more sources
Near-Field Reception of Dipole Sources Using a Dual-Loaded Loop
IEEE Access, 2023 The dual-loaded loop is a two-port antenna configured as two half-loops. Its advantage is the ability to sense two field components instead of the single component of a single-port loop.
Christopher G. Hynes, Rodney G. Vaughan
doaj +1 more source
Journalism and Fact-Checking Technologies: Understanding User Needs
communication +1, 2023 Fact-checking, defined as verifying information before publication, has become a prominent sub-genre of journalism over the last decade. These activities are characterized by their time-consuming aspects at each step of the process.
Laurence Dierickx
doaj +2 more sources
Cable tie technique for securing scleral fixation suture to intraocular lens
American Journal of Ophthalmology Case Reports, 2022 Purpose: To report a new flanged intrascleral fixation technique for subluxated or dislocated intraocular lens (IOL) with c-loop or double c-loop haptics (cable tie fixation method).
Youngsub Eom +7 more
doaj +1 more source
Fuzzy Implementation of Automatic Teaching of Hand-drawn Line Graph [PDF]
Jisuanji gongcheng, 2016 For the existing related works cannot be applied to automatic teaching of hand-drawn graph with high freedom degree,this paper proposes an automatic teaching method for fuzzy evaluation of line drawing quality based on open-loop and closed-loop line ...
CHEN Tongqian,DAI Yong,YUAN Dibo
doaj +1 more source
A Cuckoo Filter Modification Inspired by Bloom Filter [PDF]
AUT Journal of Electrical Engineering, 2019 Probabilistic data structures are so popular in membership queries, network applications, and so on. Bloom Filter and Cuckoo Filter are two popular space efficient models that incorporate in set membership checking part of many important protocols.
Hananeh Sasaniyan Asl +2 more
doaj +1 more source
Termination of derivations for minimal tense logic
Lietuvos Matematikos Rinkinys, 2009 It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj +1 more source
Loop Leaping with Closures [PDF]
, 2012 Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time.
Sebastian Biallas +7 more
core +1 more source
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source