- Full text PDF available (10)
- This year (0)
- Last five years (6)
Semantic wikis are a lightweight form of semantic technology that can enable more effective and active use of systems developed within the already popular wiki paradigm. But the goal of making the use and authoring of semantic wikis easy and attractive for a broad range of users raises several interaction design challenges: How can users unfamiliar with… (More)
In this note, we present the hyperbolic Menelaus theorem in the Poincaré disc of hyperbolic geometry.
In this study, we present (i) a proof of the Menelaus theorem for quadrilaterals in hyperbolic geometry, (ii) and a proof for the transversal theorem for triangles, and (iii) the Menelaus's theorem for n-gons. Hyperbolic Geometry appeared in the first half of the 19 th century as an attempt to understand Euclid's axiomatic basis of Geometry. It is also… (More)
This application track paper describes the Change Risk Expert (CRE) tool, which is designed to help reduce change failure rates. CRE assists Change Requesters to adequately plan changes by semi- automatically classifying change tickets, by informing about past failure rates and reasons, by systematically managing change risks, and by providing standard… (More)
Today, the risk of a service related change is typically assessed at change record creation time by a Change Requester either manually or through answering a fixed set of questions. Assessing the risk of a change, thus, relies heavily on one person's opinion. Further, in the questionnaire method, a fixed set of questions implies that the change context is… (More)
Planning a visit to Expo Milano 2015 or simply touring in Milan are activities that require a certain amount of a priori knowledge of the city. In this paper, we present the process of building such a comprehensive knowledge base, the 3cixty KB, that contains descriptions of events, places, transportation facilities and social activities, collected from… (More)
In this note, we present a short trigonometric proof to the Steiner-Lehmus Theorem in hyperbolic geometry.
A geometric approach of Blundon's inequality is presented. Theorem 2.1 gives the formula for cos ION in terms of the symmetric invariants s , R , r of a triangle, implying Blun-don's inequality (Theorem 2.2). A dual formula for cos I a ON a is given in Theorem 3.1 and this implies the dual Blundon's inequality (Theorem 3.2). As applications, some… (More)