Results 251 to 260 of about 243,373 (297)
Some of the next articles are maybe not open access.
2016
As language historians we believe that the subject of our study is neither natural languages nor idiolects which speakers have always been able to develop individually (loosely what Chomsky calls L-i), but rather the social constructions of reference shared by all speakers (basically what Chomsky terms as L-e ).
openaire +1 more source
As language historians we believe that the subject of our study is neither natural languages nor idiolects which speakers have always been able to develop individually (loosely what Chomsky calls L-i), but rather the social constructions of reference shared by all speakers (basically what Chomsky terms as L-e ).
openaire +1 more source
Correct by Construction Language Implementations
2021Programming language implementations bridge the gap between what the program developer sees and understands, and what the computer executes. Hence, it is crucial for the reliability of software that language implementations are correct. Correctness of an implementation is judged with respect to a criterion.
openaire +3 more sources
A language for construction of belief networks
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1993A method for incrementally constructing belief networks, which are directed acyclic graph representations for probability distributions, is described. A network-construction language, FRAIL3, which is similar to a forward-chaining language using data dependencies but has additional features for specifying distributions, was developed.
Robert P. Goldman, Eugene Charniak
openaire +1 more source
Query language constructs for provenance
Proceedings of the 15th Symposium on International Database Engineering & Applications - IDEAS '11, 2011Provenance that records the derivation history of data is useful for a wide variety of applications, including those where an audit trail needs to be provided, where the sources and the trust-level attributed to the sources contribute to determining the trust-level in results etc.
Murali Mani +2 more
openaire +1 more source
Language constructs for programming by example
ACM SIGOIS Bulletin, 1986Systems for programming by example permit the specification of algorithms through the use of demonstrations that manipulate examples . This paper analyzes systems for programming by example from a language point of view.
openaire +1 more source
Constructing a Second Language
Annual Review of Cognitive Linguistics, 2009This Special Section brings together researchers who adopt a constructional approach to Second Language Acquisition (SLA) as informed by Cognitive and Corpus Linguistics, approaches which fall under the general umbrella of Usage-based Linguistics. The articles present psycholinguistic and corpus linguistic evidence for L2 constructions and for the ...
Ellis, Nick C., Cadierno, T.
openaire +3 more sources
Frames and Constructions in Metaphoric Language
2013Frames and constructions in metaphoric language shows how linguistic metaphor piggybacks on certain patterns of constructional meaning that have already been identified and studied in non-metaphoric language. Recognition of these shared semantic structures, and comparison of their roles in metaphoric and non-metaphoric constructions, make it possible ...
openaire +4 more sources
A language construct for the specification of discontinuities
Journal of Systems and Software, 1988Abstract The problem of representing and detecting discontinuities that frequently arise from the modeling and simulation of continuous systems is discussed, and a solution is presented. For the representation of discontinuities, the guarded expression, with a novel semantics, is shown to be a convenient language construct.
openaire +1 more source
Language Constructs for a Datalog Compiler
2017Deductive databases promise that an important part of the application program can be developed in a declarative language, seamlessly integrated with the query language. The author is currently developing a Datalog-to-C++ compiler that implements the “Push” method for bottom-up evaluation.
openaire +1 more source
A Template Language for Agent Construction
2006This paper proposes a XML based Agent template language (ATL) for Agent construction upon blackboard pattern. Agent analysis and design model can be mapped upon ATL under forward engineering, and ATL can be translated into a Java source code by given compiler ATLC, which can be operated by JDK again.
Xiaohong Li 0001 +3 more
openaire +1 more source