Filters








64,316 Hits in 3.4 sec

The Path Containment Condition And Argument Structure

Thomas S. Stroik
1988 Kansas Working Papers in Linguistics  
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

Alistair Knott
2014 Biolinguistics  
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

M. O. Dzikovska, J. F. Allen, M. D. Swift
2007 Journal of Logic and Computation  
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

Ali Ak, Suiyi Ling, Patrick Le Callet
2020 2020 IEEE International Conference on Multimedia & Expo Workshops (ICMEW)  
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

HIROSHI TERADA
1993 English Linguistics  
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]

Zhong Chen, John T. Hale
2010 Lecture Notes in Computer Science  
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

Margaret M. Hurley, Michael S. Sellers, Brian M. Cullum, Eric S. McLamore
2013 Smart Biomedical and Physiological Sensor Technology X  
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

MASAHARU SHIMADA
1999 English Linguistics  
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]

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
2012 Lecture Notes in Computer Science  
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]

Mark D. Roberts
2001 arXiv   pre-print
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]

Makoto Hamana
2009 Lecture Notes in Computer Science  
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

Robert Harper, Donald Sannella, Andrzej Tarlecki
1994 Annals of Pure and Applied Logic  
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

Makoto Hamana, Pierre-Louis Curien
2010 Logical Methods in Computer Science  
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

ALISTAIR KNOTT
2010 The Evolution of Language  
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

Mark Johnson
1988 Proceedings of the 26th annual meeting on Association for Computational Linguistics -  
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