Most recently added entries found
Search inside:
(import / add options)   Sort by:
  1. added 2015-07-03
    Robert J. Rovetto (2013). Shaping Up: The Phenotypic Quality Ontology and Cross Sections. In Oliver Kutz, Mehul Bhatt, Stefano Borgo & Paulo Santos (eds.), CEUR Workshop Procecedings Vol-1007.
    pplied ontology, philosophical ontology, biomedical ontology, artifacts, cross section, philosophy of mathematics, Phenotypic Quality Ontology, PATO , ontology of shape.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  2. added 2015-07-03
    Robert Rovetto (2011). The Shape of Shapes: An Ontological Exploration. In Janna Hastings, Oliver Kutz, Mehul Bhatt & Stefano Borgo (eds.), CEUR Workshop Proceedings Vol-812. Editors
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  3. added 2015-06-27
    Robert J. Rovetto (forthcoming). Presentism and the Problem of Singular Propositions About Non-Present Objects – Limitations of a Proposed Solution. Polish Journal of Philosophy 8 (1).
    In “A Defense of Presentism”, Ned Markosian addresses the problem of singular propositions about non-present objects. The proposed solution uses a paraphrasing strategy that differentiates between two kinds of meaning in declarative sentences, and also distinguishes between two truth-conditions for singular propositions. The solution, however, is unsatisfactory. I demonstrate that the both truth-conditions suffer from the same problems in spite of the examples used to support the claim that one is a proper treatment for singular propositions. Part of the difficulty (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. added 2015-06-18
    Robert J. Rovetto, An Ontological Architecture for Orbital Debris Data.
    The orbital debris problem presents an opportunity for inter-agency and international cooperation toward the mutually beneficial goals of debris prevention, mitigation, remediation, and improved space situational awareness (SSA). Achieving these goals requires sharing orbital debris and other SSA data. Toward this, I present an ontological architecture for the orbital debris and broader SSA domain, taking steps in the creation of an orbital debris ontology (ODO). The purpose of this ontological system is to (I) represent general orbital debris and SSA domain (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. added 2015-06-09
    Liping Gao & Wenfeng Tang (2015). High Efficient Consistency Maintenance Strategy of Real-Time String Text Editing Systems. International Journal of Hybrid Information Technology 8.
    Replicated architecture is widely used in the field of real-time collaborative text editor. The idea of address space transformation provides a new way for concurrency control. During concurrent processing, it retraces the document status back to the state when the operations are generated to maintain consistency. However the previous concurrency processes strategy is based on single characters, the transmission cost during processing is too high since every character is packaged and broadcasted to remote sites after they are created by local (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. added 2015-06-08
    Sean Walsh (forthcoming). Fragments of Frege’s Grundgesetze and Gödel’s Constructible Universe. Journal of Symbolic Logic.
    Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  7. added 2015-06-08
    Sean Walsh (forthcoming). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. Journal of Philosophical Logic:1-50.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church's intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. added 2015-06-08
    Liping Gao & Fangyu Yu (2015). Consistency Maintenance of Group/Ungroup Operations in Object-Based Collaborative Graphical Editing Systems. International Journal of Signal Processing, Image Processing and Pattern Recognition 8.
    In real-time collaborative graphical editing systems, Object-based Group/Ungroup operations are frequently accessible and practically useful. However, the existing research on these operations of the graphical editing is rare and defective. In this paper, based on Multi-Version strategy and Address Space Transformation method, a new MVSDR algorithm, which is not only applied to simple operations (such as Create, Delete, ChangeATT, etc.), but also suitable for Group/Ungroup ones, is proposed to solve the consistency maintenance problem. The proposed algorithm abandons previous attempts to (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. added 2015-06-07
    Xiaowei Zhang, HaiMiao Hu, Fan Jiang & Bo Li (2015). Pedestrian Detection Based on Hierarchical Co-Occurrence Model for Occlusion Handling. Neurocomputing 10.
    In pedestrian detection, occlusions are typically treated as an unstructured source of noise and explicit models have lagged behind those for object appearance, which will result in degradation of detection performance. In this paper, a hierarchical co-occurrence model is proposed to enhance the semantic representation of a pedestrian. In our proposed hierarchical model, a latent SVM structure is employed to model the spatial co-occurrence relations among the parent–child pairs of nodes as hidden variables for handling the partial occlusions. Moreover, the (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. added 2015-05-28
    Werner Ceusters & Barry Smith (2015). Biomarkers in the Ontology for General Medical Science. In Ronald Cornet (ed.), Digital Healthcare Empowering Europeans. IOS Press 155-159.
    Based on the Ontology for General Medical Science, we propose definitions for biomarkers of various types of. These definitions provide not only a complete formal representation of what biomarkers are according to the Institute of Medicine (IOM), but also remove the ambiguities and inconsistencies encountered in the documentation provided by the IOM.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. added 2015-05-25
    Hong Liu, Bin Hu & Philip Moore (2015). HCI Model with Learning Mechanism for Cooperative Design in Pervasive Computing Environment. Journal of Internet Technology 16.
    This paper presents a human-computer interaction model with a three layers learning mechanism in a pervasive environment. We begin with a discussion around a number of important issues related to human-computer interaction followed by a description of the architecture for a multi-agent cooperative design system for pervasive computing environment. We present our proposed three- layer HCI model and introduce the group formation algorithm, which is predicated on a dynamic sharing niche technology. Finally, we explore the cooperative reinforcement learning and fusion (...)
    Remove from this list |
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2015-05-22
    Ravinder Kumar Singh, Raval’s Method a Simplified Approach to Propositional Logic Arguments.
    Basic Argument forms Modus Ponens , Modus Tollens , Hypothetical Syllogism and Dilemma contains ‘If –then’ conditions. Conclusions from the Arguments containing ‘If –then’ conditions can be deduced very easily without any significant memorization by applying Raval’s method. Method: In Raval’s method If P then Q is written as P (2$) – Q (1$) and viewed numerically, in currency form i.e. P is viewed as 2$ and Q is viewed as 1$ and implications from this notations are valid conclusions. If (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  13. added 2015-05-03
    Claudio Gnoli (forthcoming). The Value Added of Organized Information: From Floridi to Bennett. In Dextre Clarke Stella (ed.), Knowledge organization: making a difference: proceedings ISKO biennial conference, London, July 2015.
    Recently, Floridi has proposed that ethics be centered on the notion of information, which would represent a value in itself. As anything contains information in some form, this stance would imply that anything has intrinsic value. While this perspective is intriguing as it would make information science an even more important domain, it needs to be refined by distinguishing between different levels of organized information. Instances of matter, of life, of minds, of civil society, and of cultural heritage all are (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation