- Full text PDF available (8)
- This year (0)
- Last 5 years (5)
- Last 10 years (10)
Journals and Conferences
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)
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)
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)
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)
In this note, we present a short trigonometric proof to the Steiner-Lehmus Theorem in hyperbolic geometry.
In this study, we present a proof of the Menelaus theorem for quadrilaterals in hyperbolic geometry, and a proof for the transversal theorem for triangles. 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 known as a type of non-euclidean geometry, being in many… (More)
In this paper we proof the Andrica-Iwata's inequality for a hyperbolic triangle.