Results 21 to 30 of about 7,103,185 (329)
A MODULAR MOBILE MAPPING PLATFORM FOR COMPLEX INDOOR AND OUTDOOR ENVIRONMENTS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 In this work we present the development of a prototype, mobile mapping platform with modular design and architecture that can be suitably modified to address effectively both outdoors and indoors environments.
I. Kalisperakis +6 more
doaj +1 more source
Mixture-Model-Based Graph for Privacy-Preserving Semi-Supervised Learning
IEEE Access, 2020 Privacy has become a major concern in data mining as it is utilized in many important applications. Distributed privacy-preserving data mining (DPPDM) is one of the techniques to address this concern, which focuses on protecting private information of ...
Zhi Li, Liqun Yang, Zhoujun Li
doaj +1 more source
Software Development by Refinement
, 2003 This paper presents an overview of the technical foundations and current directions of Kestrel’s approach to mechanizing software development. The approach emphasizes machine-supported refinement of property-oriented specifications to code, based on a category of higher-order specifications.
Pavlovic, D, Smith, D
openaire +2 more sources
Privacy Model: Detect Privacy Leakage for Chinese Browser Extensions
IEEE Access, 2021 The wide use of browser extensions brings the privacy leakage problem. The previous works detected private data transmission to find privacy leakage in Chrome or Firefox, but the real challenge is to determine whether the transmission is reasonable ...
Yufei Zhao +4 more
doaj +1 more source
A survey of software development practices in the New Zealand software industry [PDF]
, 2000 We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of software companies with a general questionnaire and then conducted in-depth ...
Groves, Lindsay +4 more
core +2 more sources
Duplicate Question Detection With Deep Learning in Stack Overflow
IEEE Access, 2020 Stack Overflow is a popular Community-based Question Answer (CQA) website focused on software programming and has attracted more and more users in recent years. However, duplicate questions frequently appear in Stack Overflow and they are manually marked
Liting Wang, Li Zhang, Jing Jiang
doaj +1 more source
TBTK: A quantum mechanics software development kit [PDF]
, 2019 TBTK is a software development kit for quantum mechanical calculations and is designed to enable the development of applications that investigate problems formulated on second-quantized form.
Björnson, Kristofer
core +2 more sources
GPU Acceleration of Melody Accurate Matching in Query-by-Humming
The Scientific World Journal, 2014 With the increasing scale of the melody database, the query-by-humming system faces the trade-offs between response speed and retrieval accuracy. Melody accurate matching is the key factor to restrict the response speed.
Limin Xiao +4 more
doaj +1 more source
Frameworks: the future of formal software development? [PDF]
, 1998 It could be argued that the primary issue to be dealt with in software engineering today is re-use of software. Current software development rarely, if ever, starts from nothing.
Sinnott, R.O.
core +3 more sources
Frontiers in Pharmacology, 2018 Background: Utilization of the available observational healthcare datasets is key to complement and strengthen the postmarketing safety studies. Use of common data models (CDM) is the predominant approach in order to enable large scale systematic ...
Anil Pacaci +6 more
doaj +1 more source