搜索结果: 1-15 共查到“Procedure”相关记录234条 . 查询时间(0.09 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：An inverse Lax-Wendroff procedure for finite difference schemes on the Cartesian grids
笛卡尔网格 有限差分格式 Lax-Wendroff逆过程
2023/11/13
In this talk, we introduce the so-called inverse Lax-Wendroff (ILW) boundary treatment for finite difference approximations on the Cartesian mesh. As the domain boundary may intersect with the grid in...
广东工业大学自动化学院国际贸易实务电子课件Unit 2 general procedure。
Improving Speed of Dilithium’s Signing Procedure
Lattice based cryptography Dilithium digital signatures
2019/4/28
In this short note, we propose an optimization to improve the signing speed of Dilithium's signing procedure. Our optimization works by reducing the number of computations in the rejected iterations t...
HBIM AND THE 20TH CENTURY STEEL BUILDING HERITAGE – A PROCEDURE SUITABLE FOR THE CONSTRUCTION HISTORY IN ITALY
HBIM Italian Architectural Heritage Steel Modern Movement
2019/3/2
The use of steel technologies in Italian architecture still represents an unexplored field of research, characterised by limited and fragmented episodes that reveal important design experimentations a...
A SEMI-AUTOMATIC PROCEDURE FOR A DEMOGRAPHIC ANALYSIS OF THE FOSS4G DEVELOPERS’ COMMUNITY
Community Collaboration FOSS4G GitHub Software Development Open Source
2018/11/8
The open and direct collaboration at the creation, improvement, and documentation of source code and software applications – enabled by the web – is recognized as a peculiarity of the Free and Open So...
ORTHORECTIFICATION OF A LARGE DATASET OF HISTORICAL AERIAL IMAGES: PROCEDURE AND PRECISION ASSESSMENT IN AN OPEN SOURCE ENVIRONMENT
image orthorectification GIS historical aerial images
2018/11/8
The availability of data time series spanning a long period is crucial for landscape change analysis. A suitable dataset, both in terms of time span and information content, must be available for the ...
PROCEDURE ENABLING SIMULATION AND IN-DEPTH ANALYSIS OF OPTICAL EFFECTS IN CAMERA-BASED TIME-OF-FLIGHT SENSORS
Time-of-Flight ToF camera optical simulation procedure 3D reconstruction ground truth transient imaging
2018/6/4
This paper presents a simulation approach for Time-of-Flight cameras to estimate sensor performance and accuracy, as well as to help understanding experimentally discovered effects. The main scope is ...
Towards Sound and Optimal Leakage Detection Procedure
Side channel analysis leakage detection higher criticism
2017/4/5
Evaluation of side channel leakage for the embedded crypto systems requires sound leakage detection procedures. We relate the test vector leakage assessment (TVLA) procedure to the statistical minimum...
AN AUTOMATED GRASS-BASED PROCEDURE TO ASSESS THE GEOMETRICAL ACCURACY OF THE OPENSTREETMAP PARIS ROAD NETWORK
Accuracy FOSS4G GRASS Open data OpenStreetMap Road network Volunteered Geographic Information
2016/11/24
OpenStreetMap (OSM) is the largest spatial database of the world. One of the most frequently occurring geospatial elements within this database is the road network, whose quality is crucial for applic...
FINE REGISTRATION OF KILO-STATION NETWORKS - A MODERN PROCEDURE FOR TERRESTRIAL LASER SCANNING DATA SETS
Registration Terrestrial laser scanners 3D-Network Graph Spectral analysis
2016/11/11
We propose a complete methodology for the fine registration and referencing of kilo-station networks of terrestrial laser scanner data currently used for many valuable purposes such as 3D as-built rec...
POST-MISSION QUALITY ASSURANCE PROCEDURE FOR SURVEY-GRADE MOBILE MAPPING SYSTEMS
MMS lidar accuracy trajectory errors system calibration quality assurance
2016/7/5
Mobile Mapping Systems (MMS) consist of terrestrial-based moving platforms that integrate a set of imaging sensors (typically digital cameras and laser scanners) and a Position and Orientation System ...
An Unconditionally Hiding Auditing Procedure for Multi-Party Computations
unconditional hidingness auditable multi-party computations cloud computing
2016/6/3
In this work an unconditionally hiding auditing procedure for computations on documents stored in distributed fashion is introduced. There is only one multi-party computation (MPC) scheme providing au...
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
Languages Verification Experimentation
2016/5/24
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We first present a theory of h...
Operational procedure for automatic true orthophoto generation
True Orthophotography Automatic Optimal Seaming Automated Mosaicking
2016/5/23
Orthophoto imagery is a valuable layer in a GIS because it provides a generic, inexpensive, and accurate base map.However, in cities with tall buildings it is difficult to create a seamless database o...
A procedure for map updating using digital mono-plotting and DTMs
procedure for map updating digital mono-plotting DTMs
2016/5/20
The production and updating of maps of the terrain surface is a procedure that can be done easily by using aerial photographs. In general this procedure needs to use expensive equipment that are not a...