نتایج جستجو برای: pre approach space

تعداد نتایج: 1972205  

Abstract Over the last few decades, different mathematical methods have been used to design and analyze architectural spaces. Meanwhile, the graph theory provides an abstract model to study the spatial configuration, so that a simple and flexible mathematical framework is obtained to analyze the spatial topological features and their relationship with social and functional concepts in architec...

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

Journal: :Transportation Research Procedia 2017

Journal: :Symposium - International Astronomical Union 1992

2004
Kevin Chekov Feeney Dave Lewis

Access control in Smart Spaces requires flexible, dynamic and powerful management approaches. Policy based management has the potential to empower users and administrators in this domain. Rigid organisational models with pre-determined policy rules limits the possibilities for users’ interactions with the space and between each other. This paper outlines a community based policy management appr...

2017
Souleiman Hasan Edward Curry

Word embeddings seek to recover a Euclidean metric space by mapping words into vectors, starting from words cooccurrences in a corpus. Word embeddings may underestimate the similarity between nearby words, and overestimate it between distant words in the Euclidean metric space. In this paper, we re-embed pre-trained word embeddings with a stage of manifold learning which retains dimensionality....

Journal: :Remote Sensing 2015
Ryan A. Kromer Antonio Abellán D. Jean Hutchinson Matt Lato Tom Edwards Michel Jaboyedoff

This study presents a point cloud de-noising and calibration approach that takes advantage of point redundancy in both space and time (4D). The purpose is to detect displacements using terrestrial laser scanner data at the sub-mm scale or smaller, similar to radar systems, for the study of very small natural changes, i.e., pre-failure deformation in rock slopes, small-scale failures or talus fl...

A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید