Results 21 to 30 of about 2,730,800 (71)
Modelling Reactive Multimedia: Design and Authoring [PDF]
, 2005 Multimedia document authoring is a multifaceted activity, and authoring tools tend to concentrate on a restricted set of the activities involved in the creation of a multimedia artifact.
Cameron, Helen +2 more
core +1 more source
How the Rejection of Incompatible Speech Acts Transforms Human Cognition
European Journal of Philosophy, EarlyView.Abstract Engaging with the literature on transformative conceptions of rationality, I argue for the following position on the way reason transforms human cognition: when the capacity for knowing that one ought to do something is directed at one's own speech acts, an initially domain‐specific and practical grasp of genus/species relations – manifest in ...
Preston Stovall
wiley +1 more source
ETHICS FOR ARTIFICIAL HISTORIANS
History and Theory, EarlyView.ABSTRACT Artificial historians do not need to have intentions to complete actions or to solve problems. Consequently, a revised approach to the ethics of history is needed. An approach to ethics for artificial historians can be proposed through the recognition of historiographical logic, which is a hybrid of modal, propositional, and erotetic (question‐
Marnie Hughes‐Warrington
wiley +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
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
, 2015 We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems.
Cassar, Ian, Francalanza, Adrian
core +2 more sources
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
Step-Indexed Relational Reasoning for Countable Nondeterminism [PDF]
, 2013 Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems.
Birkedal, Lars +2 more
core +1 more source
In defense of value incomparability: A reply to Dorr, Nebel, and Zuehl
Noûs, EarlyView.Abstract Cian Dorr, Jacob Nebel, and Jake Zuehl have argued that no objects are incomparable in value. One set of arguments they offer depart from a principle they call ‘Strong Monotonicity’, which states that if x is good and y is not good, then x is better than y.
Erik Carlson, Olle Risberg
wiley +1 more source
Reasoning about Programs With Effects [PDF]
, 1998 This note presents a summary of my research on reasoning about programs with effects. This work has been carried out in collaboration with several colleagues over roughly the past ten years.
Talcott, Carolyn
core +1 more source
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation [PDF]
, 2020 International audienceDespite the insight of some of the pioneers (Turing, von Neumann, Curry, Böhm), programming the early computers was a matter of fiddling with small architecture-dependent details.
Martini, Simone
core +4 more sources