A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
The Path Containment Condition And Argument Structure
1988
Kansas Working Papers in Linguistics
Preserved Fulltext
First, arguments have binary relations with projections of the verb, and second, verbal modifiers have more proximate D-structure relations with the verb than do the subcategorized arguments of the verb ...
The internal structure of verb phrases (VPs) are investigated. ...
paths embed In (34), LF (34) satisfies the PCC and Is, therefore, a well-formed logical representation if (32). ...
doi:10.17161/kwpl.1808.632
fatcat:a6fl5smw2je6xbickbboowj2y4
Syntactic Structures as Descriptions of Sensorimotor Processes
2014
Biolinguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
There are striking similarities between the LF structure of transitive sentences describing this episode and the structure of the sensorimotor processes through which it is apprehended by an observer. ...
The neural interpretation of Minimalist LF structure allows it to incorporate insights from empiricist accounts of syntax, relating to sentence processing and to the learning of syntactic constructions ...
The primitive structural unit in LF representations is the X-bar schema, which is illustrated in Figure 1 . ...
doaj:76bc6cf0f0e24425856b007fe03da6d8
fatcat:axmty2del5fi3oqchgguo76wx4
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
2007
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
representations used in contextual interpretation versus the knowledge representations used in domain reasoning. ...
and reusability in the grammar and lexicon. ...
Acknowledgments We thank Matthew Stone, Gwendolyn Campbell and Colin Matheson and the anonymous reviewers for comments and discussion in preparing this paper. ...
doi:10.1093/logcom/exm067
fatcat:vggzrjz23rbljdklumbibfr4ma
No-Reference Quality Evaluation of Light Field Content Based on Structural Representation of The Epipolar Plane Image
2020
2020 IEEE International Conference on Multimedia & Expo Workshops (ICMEW)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To remedy this lack, we propose a NR quality metric for LF contents based on representing EPI with structural descriptors, including the Histogram of Gradients and the Convolutional Sparse Coding based ...
The primary motivation resides in our observations that (1) LF related distortions on the angular domain are highly noticeable on the Epipolar Plane Image representations (EPI); (2) most of the distortions ...
Acknowledgment This project has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 765911 (Re-alVision) ...
doi:10.1109/icmew46912.2020.9105975
dblp:conf/icmcs/AkLC20
fatcat:llvjqnvztbggxeriic222zbl2e
ON THE STATUS OF THE TRACE OF AGR
1993
English Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
me invaluable comments and suggestions. ]]] The verb must be combined with its affixes in T0 and Agr0 at S-structure to form a licit PF-representation. ...
With this in mind, we may suppose that (4b) rather than (4c) can still be an intermediate representation between the D-structure and the Sstructure of (1a). ...
doi:10.9793/elsj1984.10.211
fatcat:gnypr5trtrejfgntsqvxx65gja
Deforesting Logical Form
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This paper argues against Logical Form (LF) as an intermediate level of representation in language processing. ...
We consider two phenomena, Quantifier Raising in English and Wh-movement in Chinese, which have played key roles in the broader argument for LF. ...
They are not to be held responsible for any errors, misstatements or other shortcomings that persist in the final version. ...
doi:10.1007/978-3-642-14322-9_2
fatcat:oig6trpu7zc4zgiyj433eqvb4a
Prediction of protein-peptide interactions: application of the XPairIt API to anthrax lethal factor and substrates
2013
Smart Biomedical and Physiological Sensor Technology X
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
the data needed, and completing and reviewing the collection information. ...
Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining ...
NAMD was developed by the Theoretical and Computational Biophysics Group in the Beckman Institute for Advanced Science and Technology at the University of Illinois at Urbana-Champaign. ...
doi:10.1117/12.2014767
fatcat:j6g6jb755fdn5azgpvpnmroelu
VP-ELLIPSIS AND PARASITIC GAPS
1999
English Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This means that the LF representation of (11c) is equal to the structure of (11a), and supports the view that PGs can be licensed at LF. ...
Even if occurrence of PGs in the LF representation of (5b) is impossible for reasons of the Binding Theory, it is not denied that PGs can in principle occur in reconstructed LF representations. ...
doi:10.9793/elsj1984.16.145
fatcat:nxuh3jgzxvhlpcwwsabm6qtn7y
A Proof Theoretic Interpretation of Model Theoretic Hiding
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine-assisted meta-reasoning. ...
It is desirable to extend this model theoretic representation of logics to the level of structured specications. ...
tool integration platform) and integration with the Eclipse framework (an integrated development environment). ...
doi:10.1007/978-3-642-28412-0_9
fatcat:x4jaqvw3izgudfzwu3j2nrur7y
P-model Alternative to the T-model
[article]
2001
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
In the F-representation the order of elements is not necessarily the same as that in LF and it is suggested that the correct ordering is: F-representation > D-structure > S-structure. ...
This model requires the ordering: D-structure > S-structure > LF. ...
In the F-representation the order of elements is not necessarily the same as that in LF and it is suggested that the correct ordering is: F-representation > D-structure > S-structure. ...
arXiv:cs/9811018v3
fatcat:uydlctt6f5hvvdo3igizwiofyy
Initial Algebra Semantics for Cyclic Sharing Structures
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the case of graphs or "tree-like" structurestrees involving cycles and sharing -however, it is not clear what kind of inductive structures exists and how we can faithfully assign a term representation ...
Terms are a concise representation of tree structures. ...
I am also grateful to Varmo Vene and Tarmo Uustalu for discussion on datatypes in Haskell and reading early draft. ...
doi:10.1007/978-3-642-02273-9_11
fatcat:ktvhen52arccxbxt7ytyspjjyq
Structured theory presentations and logic representations
1994
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. ...
An important tool for controlling search in an object logic, the need for which is motivated by the di culty of reasoning about large and complex systems, is the use of structured theory presentations. ...
and Link oping University (AT). ...
doi:10.1016/0168-0072(94)90009-4
fatcat:g6bv2rykqbfsricyjwluarq7qy
Initial Algebra Semantics for Cyclic Sharing Tree Structures
2010
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Terms are a concise representation of tree structures. ...
However, for graphs or "tree-like" structures - trees involving cycles and sharing - it remains unclear what kind of inductive structures exists and how we can faithfully assign a term representation of ...
I am also grateful to Varmo Vene and Tarmo Uustalu for discussions about datatypes in Haskell and reading early draft, and Shin-Cheng Mu for a discussion about dependent types in Agda. ...
doi:10.2168/lmcs-6(3:15)2010
fatcat:z2h4vefswjekxbbk5gs7gaicw4
A SENSORIMOTOR CHARACTERISATION OF SYNTAX, AND ITS IMPLICATIONS FOR MODELS OF LANGUAGE EVOLUTION
2010
The Evolution of Language
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
I suggest that there may be a way of interpreting the syntactic structures posited in one theory of generative grammar (Minimalism) as descriptions of sensorimotor processing, and discuss the implications ...
In this paper I consider the possibility that language is more strongly grounded in sensorimotor cognition than is normally assumed-a scenario which would be providential for language evolution theorists ...
But my hope is that it is still recognisable by Minimalists, while at the same time having a wider relevance for researchers interested in sensorimotor processing, language processing and language evolution ...
doi:10.1142/9789814295222_0028
fatcat:gwtxdtbt4ngtdahzq3vnhyldsi
Deductive parsing with multiple levels of representation
1988
Proceedings of the 26th annual meeting on Association for Computational Linguistics -
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper discusses a sequence of deductive parsers, called PAD1 -PAD5, that utilize an axiomatization of the principles and parameters of GB theory, including a restricted transformational component ...
For example, the PF representation "Everybody is loved" together with the D-structure, Sstructure and LF representations shown in Figure 1 In order for such a quadruple to be well-formed it must satisfy ...
Thus the PAD2 parser simultaneously constructs D-structure, S-structure and LF representations in a top-down left-to-right fashion, functioning in effect as a recursive descent parser. ...
doi:10.3115/982023.982053
dblp:conf/acl/Johnson88
fatcat:acyb77z6cbhxjcps6cro5wdkki
« Previous
Showing results 1 — 15 out of 64,316 results