1,287,101 Hits in 4.6 sec

Type checking extracted methods [article]

Yuquan Fu, Sam Tobin-Hochstadt
2021 arXiv   pre-print
We show how to combine two existing type system features-existential types and occurrence typing-to produce a sound approach to typing method extraction...  ...  Method extraction is a feature of many dynamically-typed and gradually-typed languages, ranging from Python and PHP to Flow and TypeScript.  ...  The challenges of method extraction multiply when combined with type checking, especially in the setting of gradual type systems for existing languages.  ... 
arXiv:2010.03608v2 fatcat:7tiefl7ma5g7hju4nmcu5vtscm

K‐Means Clustering Andsnakes Pattern Used For Road Extraction

Suvarna A. Veer., Prof.Anjali Devi
2015 Zenodo  
Numerous methods have been di scovered such as semi automatic extraction of road as well as automatic extraction road.  ...  Now in this paper,we are proposing the method for extracting road from urban part as we ll as non urban part from an image.  ...  Input With Non Urban Area: Here input is checked that is input is of non urban type and by using k-means clustering we do necessary operations Input With Urban Area: Here input is checked that is input  ... 
doi:10.5281/zenodo.1471342 fatcat:vjdybbtcqjgederhz6ihz4jxbq

Defect Identification of Lumber Through Correlation Technique with Statistical Feature Extraction Method

R. Athilakshmi, Dr. Amitabh Wahi, B. Nagarajan
2010 International Journal of Computer Applications  
Although trivial quality checking methods are available, they do not give useful results in most situations.  ...  Quality checking is one of the most prominent steps in many applications using Feature extraction. Several techniques exist for the quality checking of wooden materials.  ...  This method reduces the computational effort and the possibility of singularity in feature extraction Chulhee Lee and Euisun Choi [5] has proposed a method to optimize feature extraction for multiclass  ... 
doi:10.5120/858-1201 fatcat:mzbhchzup5cs7oatsejba2n45i

Extracting Table Information from the Web [chapter]

Yeon-Seok Kim, Kyong-Ho Lee
2004 Lecture Notes in Computer Science  
The proposed method first sets the type of a data cell as image type or form type according to the kind of tags used in the cell.  ...  For the remaining cells, the proposed method determines their data types based on their contents. The proposed method defines 15 data types.  ... 
doi:10.1007/978-3-540-28640-0_41 fatcat:huwiyumk5jbl5pidviflq5dy4a

A BIM-based Detailed Electrical Load Estimation, Costing and Code Checking

Jasim Farooq, Paawan Sharma, Sreerama Kumar R
2018 International Journal of Electrical and Computer Engineering (IJECE)  
Compared to conventional methods, BIM offers simple, faster and accurate methodology for modelling, estimation and analysis.  ...  Research results indicate that wide range of BIM automated tools are possible for code-checking and estimation for design analysis at all stages of electrical system development and eventually leads to  ...  For the purpose of information extraction, the pre-existing families, class, category, types of parameters and types of elements are studied in order to understand the kind of data to be extracted.  ... 
doi:10.11591/ijece.v8i5.pp3484-3495 fatcat:iqwerlqnzrbs5eqzzehjc4gcci

Comprehensive Analytical Method for Semi-volatile Organic Compounds in Water Samples by Combination of Disk-type Solid-phase Extraction and Gas Chromatography^|^ndash;Mass Spectrometry Database System

2013 Analytical Sciences  
Yoshiki Nakahara (Nittetsu Kankyo Engineering Co.) for providing some of the check compounds. We are grateful to Dr. Graeme Allinson (Department of Primary Industries, Victoria, Australia) and Dr.  ...  Comparison between cartridge-type and disk-type methods Compared with the previously reported method that uses cartridge-type material, 11 the sample extraction time was reduced to approximately 1/6 by  ...  Compared with the cartridge-type SPE method, the extraction performance of these methods was comparable, and sample extraction time was reduced to approximately 1/6.  ... 
doi:10.2116/analsci.29.483 pmid:23574679 fatcat:jcdsp6ejwba3di2gygslaek6ai

An X-ray Inspection System for Illegal Object Classification based on Computer Vision

Yu Wang, Xiaomin Yang, Wei Wu, Bingshan Su, Gwanggil Jeon
2016 International Journal of Security and Its Applications  
Security checks at airport are of importance to any safe flight. Traditional method for security check is to check the luggage manually. However, this method needs lots of human labor and time.  ...  Random forests, which consist of L decision trees, is a bagging method. Each tree in random forests is independently built by using a different set of extracted features from train set.  ...  Generally, there are two types of off-the-shelf ensemble classification methods. One type of method is AdaBoost, another is bagging. The bagging method adopts some ... Input Figure 7.  ... 
doi:10.14257/ijsia.2016.10.10.15 fatcat:beiflmlrwrfz3gbnl23jmqxc3y

Oil Extraction Committee's Report

Felix Paquin
1921 Journal of Oil & Fat Industries  
What type of extraction tube do you employ? 24 replied Butt type as recommended in the official method; 11 Smalley tube, 1 Wiley, 1 Knorr, 1 Frapp, 1 Mohr, 1 Bailey & Walker, 5 Soxhlet.  ...  Richardson, Swift & Co., "A type of extraction tube should be specified, that is, syphon type or percolating type.  ... 
doi:10.1007/bf03039925 fatcat:5d7zyi4divgoldgunin2mjddn4

Automated Rule Checking for MEP Systems Based on BIM and KBMS

Xuanfeng Xie, Jianliang Zhou, Xuehai Fu, Ruoyi Zhang, Hui Zhu, Quanxi Bao
2022 Buildings  
extraction, system integrity checking, and element spacing checking was developed.  ...  However, MEP-based rule checking has not received adequate attention compared to automated rule checking in other domains.  ...  The process of extracting objects before extracting component parameters is an es sential step, whether it is system integrity checking, component property checking, or e Regardless of the labeling method  ... 
doi:10.3390/buildings12070934 fatcat:vvee4v2yt5bmtbkbezuqpcx5ba

Coupled semi-supervised learning for information extraction

Andrew Carlson, Justin Betteridge, Richard C. Wang, Estevam R. Hruschka, Tom M. Mitchell
2010 Proceedings of the third ACM international conference on Web search and data mining - WSDM '10  
We consider the problem of semi-supervised learning to extract categories (e.g., academic fields, athletes) and relations (e.g., PlaysSport(athlete, sport)) from web pages, starting with a handful of labeled  ...  Mutual Exclusion and Type Checking To explore the effects of coupling predicates using mutualexclusion and type-checking constraints, we compared coupled and uncoupled methods for learning contextual patterns  ...  As in the UPL method, it does not couple the learning of predicates using mutualexclusion constraints or type checking.  ... 
doi:10.1145/1718487.1718501 dblp:conf/wsdm/CarlsonBWHM10 fatcat:wiecoon73bbffkjvkzlxqbn2ky

Utilizing FastText for Venue Recommendation [article]

Makbule Gulcin Ozsoy
2020 arXiv   pre-print
I measure the performance of the proposed method using a Foursquare check-in dataset.The results show that the proposed method performs better than the state-of-the-art methods.  ...  In this work, I propose a method for recommending top-k venues by utilizing the sequentiality feature of check-ins and a recent vector space embedding method, namely the FastText.  ...  Firstly, the sub-sequences of check-ins are extracted. Then, the model is trained using the FastText method by considering all the extracted sub-sequences of check-ins from all of the users.  ... 
arXiv:2005.12982v1 fatcat:hgrva6g25nhqfptbsihnjvx7oa

Comparison test based on program model and design document

Shan-ling Li, Zhan-wei Hui, Chang-you Zheng
2021 IEEE Access  
Therefore, how to effectively extract the design information based on these documents is very important.  ...  problems that may exist in the two types of models; thirdly, we design static and dynamic consistency algorithms for these models.  ...  First, traverse each method of each class; then, analyze the method, extract its class name, method name and parameter type name, and form a new unique string identification; finally, extract the method  ... 
doi:10.1109/access.2021.3061158 fatcat:3wupoasi2fev7ovvf5ylw5mwue

Planogram Compliance Checking Based on Detection of Recurring Patterns

Song Liu, Wanqing Li, Stephen Davis, Christian Ritz, Hongda Tian
2016 IEEE Multimedia  
In this paper, a novel method for automatic planogram compliance checking in retail chains is proposed without requiring product template images for training.  ...  Compared with a template-based method, higher accuracies are achieved by the proposed method over a wide range of products.  ...  The proposed method can also extract product images automatically which can be used to further improve the compliance checking result.  ... 
doi:10.1109/mmul.2016.19 fatcat:3fhgzo5225dq5mbt5x3rfcnnx4

Extracting Formal Specifications to Strenghten Type Behaviour Testing [article]

Dimitri Racordon, Didier Buchs
2017 arXiv   pre-print
The idea is to extract a formal specification of the data types of a program, in the form of a term rewriting system, and to check that specification against a set of properties specified by the programmer  ...  Cases for which tose properties do not hold can then be identified using model checking, and selected as test cases.  ...  Would these basic types given a formal representations, in our case by the means of an algebraic signature and a term rewriting system, it is possible to extract the formal specification of the types and  ... 
arXiv:1708.05194v1 fatcat:tdxnlwzy7bf6decsjapltsve5u

Decision Tree-Based Contextual Location Prediction from Mobile Device Logs

Linyuan Xia, Qiumei Huang, Dongjin Wu
2018 Mobile Information Systems  
To address the problems of location imprecision and lack of semantic information, a modified trip-identify method is employed to extract key visit points from GPS trajectories to a more accurate extent  ...  Extracting and recognizing personally interesting places and predicting next semantic location become a research hot spot in LBS.  ...  In general, the extracted stay point matches "check in" point if the timestamp of "check in" point falls between the arriving time and leaving time of the stay point.  ... 
doi:10.1155/2018/1852861 fatcat:mcm35qtnvbhcjinb2iocytn42q
« Previous Showing results 1 — 15 out of 1,287,101 results