Results 51 to 60 of about 20,953 (186)
Deriving Kripke structures from time series segmentation results [PDF]
2008 9th International Workshop on Discrete Event Systems, 2008 Kripke structures are important modeling formalisms to understand the behavior of reactive systems. We present an approach to automatically infer Kripke structures from time series datasets. Our algorithm bridges the continuous world of time profiles and the discrete symbols of Kripke structures by incorporating a segmentation algorithm as an ...
Satish Tadepalli +4 more
openaire +1 more source
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
Journal of Applied Mathematics, 2014 Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology.
Shihan Yang, Hongyan Tan, Jinzhao Wu
doaj +1 more source
Limits, Limitations, and Necessity in Margaret Macdonald
European Journal of Philosophy, EarlyView.ABSTRACT I offer a contribution to recent work on Margaret Macdonald (1903–1956), a prolific though largely unknown figure in the history of analytic philosophy who applied Wittgensteinian insights to a broad range of issues. Here I examine the development of Macdonald's views with respect to idealism and conventionalism, through the application of a ...
Oliver Thomas Spinney
wiley +1 more source
Journal of Sleep Research, EarlyView.ABSTRACT For athletes in endurance sports, who compete over several days and in unpredictable conditions, managing sleep–wake rhythms is critical to ensure optimal performance and minimise the risks to safety. Despite its growing popularity, the role of sleep management on ultracycling performance has received little attention.
Rémy Hurdiel +4 more
wiley +1 more source
Embedding mental files in the world
Mind &Language, EarlyView.Cognitive scientific explanations can take either a mechanistic or design perspective. Some recent philosophical works propose to apply the mechanistic perspective to the influential mental file framework. The design perspective, however, remains underexplored.
Zhengxi Jin
wiley +1 more source
Pacific Philosophical Quarterly, EarlyView.ABSTRACT This paper is about the hierarchy view: that each word has infinitely many meanings, arranged into levels, with the level n meaning serving as its semantic value when it occurs embedded to degree n in indirect or attitude reporting verbs. Departing from the famous debates over the bare tenability of the hierarchy view, I focus on whether there
Mark McCullagh
wiley +1 more source
Bad Practices: Unintended Consequences of Practice‐Based Theories of Reference
Analytic Philosophy, EarlyView.ABSTRACT Practice theories are a genus of causal theories of reference. They claim that the semantic referent of an utterance of a name is determined by features of a practice of using that name to speaker‐refer to, or coordinate actions around, a certain object.
Hugo Heagren
wiley +1 more source
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
Logical Methods in Computer ScienceA distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source
A Logical Foundation for Environment Classifiers [PDF]
, 2010 Taha and Nielsen have developed a multi-stage calculus {\lambda}{\alpha} with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragments and variable declarations are annotated, and their ...
Atsushi Igarashi +2 more
core +2 more sources
A More Efficient Simulation Algorithm on Kripke Structures [PDF]
, 2013 A number of algorithms for computing the simulation preorder (and equivalence) on Kripke structures are available. Let Σ denote the state space, → the transition relation and P sim the partition of Σ induced by simulation equivalence. While some algorithms are designed to reach the best space bounds, whose dominating additive term is |P sim|2, other ...
openaire +2 more sources