Filters








52,961 Hits in 3.8 sec

Connectionist variable binding

Antony Browne, Ron Sun
<span title="">1999</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qcs6npiwtfgmnjz77pf7tz2zvu" style="color: black;">Expert systems</a> </i> &nbsp;
Attempts to perform variable binding using localist and distributed connectionist representations are discussed, and problems inherent in each type of representation are outlined.  ...  Variable binding has long been a challenge to connectionists.  ...  Full unification has been performed by a neural network using a distributed representational scheme generated by autoassociative networks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1111/1468-0394.00108">doi:10.1111/1468-0394.00108</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s4krm3kzuzdebjvdskbcnqivjy">fatcat:s4krm3kzuzdebjvdskbcnqivjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100610010220/http://www.cogsci.rpi.edu/~rsun/sun_bro.es99.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/c6/56c6f89a60cba898e236c3da15d9d6ea6e953dc3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1111/1468-0394.00108"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

The bosonic birthday paradox [article]

Alex Arkhipov
<span title="2011-06-04">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
One side result is that boltzmannons with a randomly chosen multinomial distribution have the same birthday statistics as bosons.  ...  This last result is interesting as a quantum proof of a classical probability theorem; we also give a classical proof.  ...  We will use the uniform state ρ unif = ρ unif (S k (H )) on the joint Hilbert space of k bosons.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1106.0849v1">arXiv:1106.0849v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2xqhplvqyfdc7aopmmf33jtoiq">fatcat:2xqhplvqyfdc7aopmmf33jtoiq</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1106.0849/1106.0849.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/1106.0849v1" 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>

Embedding HMMs-based models in a Euclidean space: the topological hidden Markov models

Djamel Bouchaffra
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jm6w2xclfzguxnhmnmq5omebpi" style="color: black;">Pattern Recognition</a> </i> &nbsp;
We have applied the concept of THMM's to: (i) predict the ASCII class assigned to a handwritten numeral, and (ii) map a protein primary structure to its 3D fold.  ...  To fulfill this need, we propose a novel paradigm named "topological hidden Markov models" (THMM's) that classifies VO sequences by embedding the nodes of an HMM state transition graph in a Euclidean space  ...  We then, map through a function g the UNIF to its shape using a contour representation technique.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.patcog.2010.01.022">doi:10.1016/j.patcog.2010.01.022</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ifmwkjzoyvhnjakgs5a4vyswya">fatcat:ifmwkjzoyvhnjakgs5a4vyswya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120813124623/http://www.djamel-bouchaffra.info:80/Papers/ICPR2008.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/7d/bf/7dbfd03671dca17538de3067625ad7971f39112e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.patcog.2010.01.022"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Learning Knowledge Base Inference with Neural Theorem Provers

Tim Rocktäschel, Sebastian Riedel
<span title="">2016</span> <i title="Association for Computational Linguistics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eqchufsuszesjdw3qj4dd5lw3e" style="color: black;">Proceedings of the 5th Workshop on Automated Knowledge Base Construction</a> </i> &nbsp;
representations of symbols using function-free, possibly parameterized, rules.  ...  As such, NTPs follow a long tradition of neural-symbolic approaches to automated knowledge base inference, but differ in that they are differentiable with respect to representations of symbols in a knowledge  ...  When provided with a goal representation, a unification network is computing the unification success in vector space.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18653/v1/w16-1309">doi:10.18653/v1/w16-1309</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/akbc/RocktaschelR16.html">dblp:conf/akbc/RocktaschelR16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5d42tylmcve3rocsjw7d3jueq4">fatcat:5d42tylmcve3rocsjw7d3jueq4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200508220304/https://www.aclweb.org/anthology/W16-1309.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/a3/7d/a37ddff982184d6aa40f61bbfb5aaa1b0808e886.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18653/v1/w16-1309"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Random problems with R [article]

Kellie Ottoboni, Philip B. Stark
<span title="2018-11-13">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Well-known quantization effects in this approach result in a non-uniform distribution on { 1, ..., m}. The difference, which depends on m, can be substantial.  ...  There is an easy fix: construct random integers directly from random bits, rather than multiplying a random float by m.  ...  But if X has a discrete distribution derived by scaling a pseudorandom w-bit integer (typically w = 32) or floating-point number, the resulting distribution is, in general, not uniformly distributed on  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1809.06520v3">arXiv:1809.06520v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vww2wdbhvbghzp7gi3uvtast6q">fatcat:vww2wdbhvbghzp7gi3uvtast6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901160828/https://arxiv.org/pdf/1809.06520v3.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/19/87/198739b8e0ffef349947f8c671e668715fe4654d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1809.06520v3" 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>

Dynamic programming for parsing and estimation of stochastic unification-based grammars

Stuart Geman, Mark Johnson
<span title="">2001</span> <i title="Association for Computational Linguistics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5n6volmnonf5tn6xputi5f2t3e" style="color: black;">Proceedings of the 40th Annual Meeting on Association for Computational Linguistics - ACL &#39;02</a> </i> &nbsp;
, and proposed the use of loglinear models for defining probability distributions over the parses of a unification grammar.  ...  Stochastic unification-based grammars (SUBGs) define exponential distributions over the parses generated by a unificationbased grammar (UBG).  ...  Then a simple induction shows that M j is a function from d(M j ) to a maximisation over each of the variables X i where i ≺ j of i≺j,AA i A.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3115/1073083.1073130">doi:10.3115/1073083.1073130</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acl/GemanJ02.html">dblp:conf/acl/GemanJ02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w5j53blhmnf5jcztvtkmcqunru">fatcat:w5j53blhmnf5jcztvtkmcqunru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100617222126/http://www.dam.brown.edu/people/geman/Homepage/Computational%20linguistics/dynamic%20programming%20-%20unification%20grammars.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/d1/f0/d1f0c539fda6b5887429cec775d8173a02b57c1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3115/1073083.1073130"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Unification as Constraint Satisfaction in Structured Connectionist Networks

Andreas Stolcke
<span title="">1989</span> <i title="MIT Press - Journals"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rckx6fqoszfvva5c53bqivu5am" style="color: black;">Neural Computation</a> </i> &nbsp;
It is shown that by approaching unification from a graph matching and constraint satisfaction perspective a natural and efficient realization in a structured connectionist network can be found.  ...  Unification is a basic concept in several traditional symbolic formalisms that should be well-suited for a connectionist implementation due to the intuitive nature of the notions it formalizes.  ...  in the connectionist literature using various distributed and local representations (Touretzky, 1987; Shastri, 1988) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1162/neco.1989.1.4.559">doi:10.1162/neco.1989.1.4.559</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/veqo5mtg75aqdfa7ysr2jma7g4">fatcat:veqo5mtg75aqdfa7ysr2jma7g4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810105230/http://ftp.icsi.berkeley.edu/ftp/pub/speech/stolcke/neuralcomp.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/4a/a3/4aa3ef37d538efb65883e61f7011e67f149452c1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1162/neco.1989.1.4.559"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> mitpressjournals.org </button> </a>

Representational unification in cognitive science: Is embodied cognition a unifying perspective?

Marcin Miłkowski, Przemysław Nowakowski
<span title="2019-10-24">2019</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/munzfrczajgrfktmdt7fobcory" style="color: black;">Synthese</a> </i> &nbsp;
In this paper, we defend a novel, multidimensional account of representational unification, which we distinguish from integration.  ...  The account is used to investigate the issue of how research traditions contribute to representational unification, focusing on embodied cognition in cognitive science.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11229-019-02445-w">doi:10.1007/s11229-019-02445-w</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z5na2r7ip5hllelslt62xq2toe">fatcat:z5na2r7ip5hllelslt62xq2toe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306210038/https://philpapers.org/archive/MIKRUI.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/c9/0a/c90a128c47f2ba8ae3091516b545607da68ced1d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11229-019-02445-w"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Bootstrap Equilibrium and Probabilistic Speaker Representation Learning for Self-supervised Speaker Verification [article]

Sung Hwan Mun, Min Hyun Han, Dongjune Lee, Jihwan Kim, Nam Soo Kim
<span title="2021-12-16">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we propose self-supervised speaker representation learning strategies, which comprise of a bootstrap equilibrium speaker representation learning in the front-end and an uncertainty-aware  ...  In the front-end stage, we learn the speaker representations via the bootstrap training scheme with the uniformity regularization term.  ...  a deterministic point embedding, we estimate the distribution [22] utilized a queue to maintain many negative pairs as in of each speaker embedding, i.e., a Gaussian distribution, MoCo [14] and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.08929v1">arXiv:2112.08929v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cm4plnaw2ngtnk23s5pq3cmjhe">fatcat:cm4plnaw2ngtnk23s5pq3cmjhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220103100754/https://arxiv.org/pdf/2112.08929v2.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c2/96/c296a8692b96cff74c878404f2b098bb659e0b23.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.08929v1" 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>

Polychromatic Grand Unification [article]

G.C. Branco, J.-M. Gerard, R. Gonzalez Felipe, B.M. Nobre
<span title="2003-05-08">2003</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The possibility of achieving a gauge coupling grand unification by increasing the QCD degrees of freedom at higher energies is investigated.  ...  With the exclusive addition of light Higgs doublets to the standard model particle content, such a unification may also occur if N=5 at M_U ~ 10^16 GeV.  ...  Furthermore, this result is independent of the way the SM-like particles are distributed among the representations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/hep-ph/0305092v1">arXiv:hep-ph/0305092v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b6sltt45t5e2rhnt3ttjdinrc4">fatcat:b6sltt45t5e2rhnt3ttjdinrc4</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-hep-ph0305092/hep-ph0305092.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/hep-ph/0305092v1" 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>

Self-adjointness of Schroedinger operators with singular potentials [article]

Rostyslav O. Hryniv, Yaroslav V. Mykytyuk
<span title="2012-03-21">2012</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The results are further specified for q in W^-1_2,unif(R).  ...  We study one-dimensional Schroedinger operators S with real-valued distributional potentials q in W^-1_2,loc(R) and prove an extension of the Povzner-Wienholtz theorem on self-adjointness of bounded below  ...  Gesztesy, A. Kostenko, M. Malamud, and V. Mikhailets for fruitful discussions and comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1111.0809v2">arXiv:1111.0809v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5xaonwdzjrai7ph4p7ihak5zmi">fatcat:5xaonwdzjrai7ph4p7ihak5zmi</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1111.0809/1111.0809.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/1111.0809v2" 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>

KNAML: A Knowledge Representation Language for Distributed Reasoning [chapter]

Gordon Streeter, Andrew Potter
<span title="">2004</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;
Additional constructs are used to support distributed reasoning and ontological concision. KNAML treats ontologies as knowledge domains that happen to be of the ontology domain.  ...  Implemented in Java, KNAML supports subsumption, unification, and binding operations required by the host multi-agent system to carry out knowledge discovery and synthesis.  ...  Introduction Multi-agent systems that perform distributed reasoning pose distinct challenges for knowledge representation languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27769-9_24">doi:10.1007/978-3-540-27769-9_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/62mcxwnz6bbrzliiwrmpppusu4">fatcat:62mcxwnz6bbrzliiwrmpppusu4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120906073349/http://home.hiwaay.net/~anpotter/KNAML_StreeterAndPotter.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/b4/16/b416c39b226ca0627d4390970b5dc578682e67bf.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-540-27769-9_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

System Description: Twelf — A Meta-Logical Framework for Deductive Systems [chapter]

Frank Pfenning, Carsten Schürmann
<span title="">1999</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 current version (1.2) is distributed with a complete manual, example suites, a tutorial in the form of on-line lecture notes [Pfe], and an Emacs interface.  ...  Source and binary distributions are accessible via the Twelf home page  ...  For semantic specification LF uses the judgments-as-types representation technique. This means that a derivation is coded as an object whose type represents the judgment it establishes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48660-7_14">doi:10.1007/3-540-48660-7_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ysgd47xcbzbybccjwjaecilgke">fatcat:ysgd47xcbzbybccjwjaecilgke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829032152/http://www.cs.cmu.edu/Groups/fox/people/fp/papers/cade99.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/df/be/dfbeaf4e5af1fe2415832d7fe73550321d320dc7.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-48660-7_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Unification of verification and validation methods for software systems: progress report and initial case study formulation

J.C. Browne, C. Lin, K. Kane, Yoonsik Cheon, P. Teller
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t3x4vqewrncrfgn2wu7cafsbsq" style="color: black;">Proceedings 20th IEEE International Parallel &amp; Distributed Processing Symposium</a> </i> &nbsp;
The requirements for a unification are defined.  ...  The initial steps of a case study of application of the unified approach to V&V is sketched including definition of the problem domain, the approach and some details of a property specification language  ...  Requirements for Unification The requirements for an effective unification include: • A unified property specification language incorporating provision for representation of domain specific properties,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2006.1639582">doi:10.1109/ipdps.2006.1639582</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/BrowneLKCT06.html">dblp:conf/ipps/BrowneLKCT06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dhgbuo5xlbdb5dxifdszcmkt74">fatcat:dhgbuo5xlbdb5dxifdszcmkt74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706112034/http://www.cecs.uci.edu/%7Epapers/ipdps06/pdfs/15-nsfngs-paper-1.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/d8/55/d855736e1831d54711791a8a275eb58549ee2934.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2006.1639582"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language

Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel
<span title="">2019</span> <i title="Association for Computational Linguistics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5n6volmnonf5tn6xputi5f2t3e" style="color: black;">Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics</a> </i> &nbsp;
Specifically, we propose to use a Prolog prover which we extend to utilize a similarity function over pretrained sentence encoders.  ...  In contrast, neural models can cope very well with ambiguity by learning distributed representations of words and their composition from data, but lead to models that are difficult to interpret.  ...  We gratefully acknowledge the support of NVIDIA Corporation with the donation of a Titan X Pascal GPU used for this research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18653/v1/p19-1618">doi:10.18653/v1/p19-1618</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acl/WeberMMLR19.html">dblp:conf/acl/WeberMMLR19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b32yrqdh3rhhhcznwpadzzjp6a">fatcat:b32yrqdh3rhhhcznwpadzzjp6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200505125624/https://www.aclweb.org/anthology/P19-1618.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/21/63/2163dbd2c06f0aa326995b59c226e40553c4c63b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18653/v1/p19-1618"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 52,961 results