Results 71 to 80 of about 228,658 (258)
Illinois-LH: A Denotational and Distributional Approach to Semantics
International Workshop on Semantic Evaluation, 2014 This paper describes and analyzes our SemEval 2014 Task 1 system. Its features are based on distributional and denotational similarities; word alignment; negation; and hypernym/hyponym, synonym, and antonym relations.
Alice Lai, J. Hockenmaier
semanticscholar +1 more source
Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics
Systems Engineering, EarlyView.ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin +3 more
wiley +1 more source
Monitoring distributed systems with distributed polyLarva [PDF]
, 2014 polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised.
Cassar, Ian +2 more
core +1 more source
Polysemy and roots: Deep versus shallow fetching
Mind &Language, EarlyView.The paper argues for a model of polysemy based on the blueprint offered by Paul Pietroski whereby the meaning of a lexical item is an instruction to fetch a concept from an address. We show that the bare idea of fetching admits of a deep construal, where a concept is fetched, and a shallow construal, where the instruction merely links a lexical item to
John Collins, Tamara Dobler
wiley +1 more source
Adventures in time and space [PDF]
Logical Methods in Computer Science, 2007 This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its first-order programs characterize the polynomial-time computable functions, and its
Norman Danner, James S. Royer
doaj +1 more source
Displacement and quantification without representation
Mind &Language, EarlyView.Perry and Recanati have argued that thought and speech can concern entities that they do not represent. This is possible because speakers and thinkers are pragmatically situated within their environs. I argue that thought and speech can go much farther than that.
Mihnea Capraru
wiley +1 more source
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We define a domain-specific language (DSL) to inductively assemble flow networks from small networks or modules to produce arbitrarily large ones, with interchangeable functionally-equivalent parts.
Azer Bestavros, Assaf Kfoury
doaj +1 more source
Denotational Semantics of Shape:
Electronic Notes in Theoretical Computer Science, 1999 AbstractPast work on the semantics of vectors and arrays provides a denotational semantics for the new, higher-order, polymorphic array programming language FISh, that uses static analysis to determine array shapes. This semantics will be combined with that of shape polymorphism to underpin a language that will support both shape analysis and shape ...
C. Barry Jay
openalex +3 more sources
An Adequate While-Language for Hybrid Computation
, 2019 Hybrid computation combines discrete and continuous dynamics in the form of an entangled mixture inherently present both in various natural phenomena, and in applications ranging from control theory to microbiology.
Goncharov, Sergey, Neves, Renato
core +1 more source
Uniquely human temporal thoughts
Mind &Language, EarlyView.Life on Earth will eventually come to an end. The thought expressed in the previous sentence is about a point in time that is not known to the individual entertaining the thought. This paper is concerned with the nature of such temporal thoughts. We propose that the capacity to mentally represent thoughts about non‐specific temporal intervals is a ...
İsa Kerem Bayırlı
wiley +1 more source