Search results for "formalization"
showing 5 items of 15 documents
Managing semantics knowledge for 3D architectural reconstruction
2010
International audience; this work aims at bound geometrical detection of 3D objects from a point cloud using semantic descriptors to improve reusability of architectural building reconstruction and aid automatic reasoning in building information modeling (BIM). Based on exploring cognitive origins of spatial semantics representations, semantics conceptualization and classification is proposed for formal management of 3D architectural objects. The knowledge classification composes definition, partial knowledge and ambiguous knowledge, and is formalized with transformations among closed world assumption (CWA) and open world assumption (OWA). Systemic case study is conducted on a simplified bu…
Formalizing Semantic of Natural Language through Conceptualization from Existence
2011
International audience; We propose an outline of an approach to formalize semantic from conceptualization for both natural language (NL) and logic expression mechanisms. This goes beyond the level of discussions at conceptual level which has to either end in conscious/unconscious relativity of understanding or subjective enforcement in the form of definitions instead of expected objective semantic. This approach supports to view from a pure mathematical perspective, and explore and locate the fundamental problems. The semantic formalization mechanism realizes the integration of problem description and the solution expression at absolute semantic level. So a problem describing process is equ…
Formalization of scientific process and conceptual modelling for the study of territorial and products distribution dynamics (ArchaeDyn II programme)
2012
International audience; The ArchaeDyn team has investigated territorial dynamics by comparing areas over long time spans between the Neolithic and Modern times. Datasets on various themes have been shared and indicators and analytical models produced. This paper presents both the formalization of the scientific process used in the ArchaeDyn programme and a conceptual model of the systems and components so that synchronic and diachronic comparisons can be made. The aim is to clarify the transition from an archaeological feature (a site or an artefact) or a recording unit (survey area) as the input, to the characterization of spaces describing a system as the output. The approach is described…
Monenkeskinen yhteistyö ja minilateralismi käytännössä : tapauksena Somalian rannikon merirosvous
2022
Artikkelissa pohditaan monenkeskisyyden ilmenemistä minilateraalin yhteistyön kautta. Historiallisesti merirosvous on ollut ajoittain ja alueellisesti esiin nouseva ilmiö, joka ponnistaa paikallisista olosuhteista ja erityisesti heikosta hallinnosta maa-alueilla. Merirosvoukseen liittyvä kansainvälinen sopimusyhteistyö painottaa valtioiden suvereniteetin merkitystä omilla aluevesillään. Käytännössä merten turvallisuuden ymmärtäminen laaja-alaisena ilmiönä sekä merirosvouksen tehokas torjuminen on vaatinut ja vaatii myös jatkossa tiivistä valtioiden välistä yhteistyötä, jossa yksittäisen valtion toimintakykyä kompensoidaan yhteistyön keinoin. Artikkelissa kuvataan kansainvälisen yhteisön pyr…
Collaborative Design Rational and Social Creativity in Cultures of Participation
2011
The rise in social computing has facilitated a shift from consumer cultures, focused on producing finished media to be consumed passively, to cultures of participation, where people can access the means to participate actively in personally meaningful problems. These developments represent unique and fundamental opportunities and challenges for rethinking and reinventing design rationale and creativity, as people acclimate to taking part in computer-mediated conversations of issues and their solutions. Grounded in our long-term research exploring these topics, this paper articulates arguments, describes and discusses conceptual frameworks and system developments (in the context of three cas…