Results 291 to 300 of about 253,413 (321)
Some of the next articles are maybe not open access.
ACM SIGPLAN Notices, 2016
Parser generators give programmers a convenient and declarative way to write parsers and other language-processing applications, but their mechanisms for extension and code reuse often leave something to be desired. We introduce Ohm, a parser generator in which both grammars and their interpretations can be extended in safe and modular ways.
Alessandro Warth +2 more
openaire +1 more source
Parser generators give programmers a convenient and declarative way to write parsers and other language-processing applications, but their mechanisms for extension and code reuse often leave something to be desired. We introduce Ohm, a parser generator in which both grammars and their interpretations can be extended in safe and modular ways.
Alessandro Warth +2 more
openaire +1 more source
ACTION TYPES IN STIT SEMANTICS
The Review of Symbolic Logic, 2017AbstractStit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so.
Horty, John, Pacuit, Eric
openaire +1 more source
Learning Semantic-Aligned Action Representation
IEEE Transactions on Neural Networks and Learning Systems, 2018A fundamental bottleneck for achieving highly discriminative action representation is that local motion/appearance features are usually not semantic aligned. Namely, a local feature, such as a motion vector or motion trajectory, does not possess any attribute that indicates which moving body part or operated object it is associated with.
Bingbing Ni, Teng Li, Xiaokang Yang
openaire +2 more sources
Scientific American, 2007
The article describes the Semantic Web, how it functions, how it grows and what makes it different from the World Wide Web. The Semantic Web makes it possible for any computer to access information by creating a common language between any personal computers and the Internet at large.
Lee, Feigenbaum +4 more
openaire +2 more sources
The article describes the Semantic Web, how it functions, how it grows and what makes it different from the World Wide Web. The Semantic Web makes it possible for any computer to access information by creating a common language between any personal computers and the Internet at large.
Lee, Feigenbaum +4 more
openaire +2 more sources
2002
Reasoning about action and change has long been of special interest to AI and issues of knowledge representation (see [Sandewall and Shoham, 19941). In particular, the issue of representing changes caused by actions in an efficient and economic way without the burden of explicitly specifying what is not affected by the actions involved and is left ...
John-Jules Ch. Meyer, Patrick Doherty
openaire +1 more source
Reasoning about action and change has long been of special interest to AI and issues of knowledge representation (see [Sandewall and Shoham, 19941). In particular, the issue of representing changes caused by actions in an efficient and economic way without the burden of explicitly specifying what is not affected by the actions involved and is left ...
John-Jules Ch. Meyer, Patrick Doherty
openaire +1 more source
1999
The paper presents a concise description of a comprehensive approach to computational lexical semantics and focuses on the treatment of events. We reason about the semantic information that should be encoded in a lexicon entry to support the twin tasks of constructing Text Meaning Representations (TMRs) for input texts and generating texts off TMRs. As
Evelyne Viegas +3 more
openaire +1 more source
The paper presents a concise description of a comprehensive approach to computational lexical semantics and focuses on the treatment of events. We reason about the semantic information that should be encoded in a lexicon entry to support the twin tasks of constructing Text Meaning Representations (TMRs) for input texts and generating texts off TMRs. As
Evelyne Viegas +3 more
openaire +1 more source
Action semantics-directed prototyping
Computer Languages, 1993We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific ''analysis functions'', such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into ...
Kyung-Goo Doh, David A Schmidt
openaire +1 more source
1992
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +1 more source
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness ...
openaire +1 more source
Action semantics in PurposeNet
2011 World Congress on Information and Communication Technologies, 2011PurposeNet is a semantic network of artifacts and actions related to artifacts. Since man tends to classify objects and artifacts around him in terms of some primary purpose attributed to them, purpose is taken as an organizing principle for the knowledge base. Actions play a pivotal role in describing artifacts. All processes that describe an artifact,
P. Kiran Mayee, Rajeev Sangal, Soma Paul
openaire +1 more source
Semantical Analysis of Logic of Actions
Journal of Logic and Computation, 1995Summary: It is shown that the validity questions in propositional temporal logic of actions can be translated into validity questions of a temporal logic and vice versa. In particular, actions of propositional temporal logic of actions can be equivalently replaced by propositional symbols.
Tiomkin, Michael, Kaminski, Michael
openaire +1 more source