scholarly journals Work Motion Recognition by using Syntactic Pattern Matching

2003 ◽  
Vol 69 (12) ◽  
pp. 1790-1795 ◽  
Author(s):  
Daigo MISAKI ◽  
Toshitake TATENO ◽  
Shigeru AOMURA
Keyword(s):  
Pattern Matching ◽  
Motion Recognition ◽  
Syntactic Pattern

scholarly journals JavaDL: automatically incrementalizing Java bug pattern detection

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Alexandru Dura ◽  
Christoph Reichenbach ◽  
Emma Söderberg
Keyword(s):  
Pattern Matching ◽  
General Purpose ◽  
Specification Language ◽  
Pattern Detection ◽  
Software Developers ◽  
Syntactic Pattern ◽  
Benchmark Suite ◽  
Support Software ◽  
Logical Rules ◽  
Java Code

Static checker frameworks support software developers by automatically discovering bugs that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for such patterns and allow developers to add custom detectors for their own projects. However, existing frameworks generally encode detectors in imperative specifications, with extensive details of not only what to detect but also how . These details complicate detector maintenance and evolution, and also interfere with the framework’s ability to change how detection is done, for instance, to make the detectors incremental. In this paper, we present JavaDL, a Datalog-based declarative specification language for bug pattern detection in Java code. JavaDL seamlessly supports both exhaustive and incremental evaluation from the same detector specification. This specification allows developers to describe local detector components via syntactic pattern matching , and nonlocal (e.g., interprocedural) reasoning via Datalog-style logical rules . We compare our approach against the well-established SpotBugs and Error Prone tools by re-implementing several of their detectors in JavaDL. We find that our implementations are substantially smaller and similarly effective at detecting bugs on the Defects4J benchmark suite, and run with competitive runtime performance. In our experiments, neither incremental nor exhaustive analysis can consistently outperform the other, which highlights the value of our ability to transparently switch execution modes. We argue that our approach showcases the potential of clear-box static checker frameworks that constrain the bug detector specification language to enable the framework to adapt and enhance the detectors.

scholarly journals Standardization of Terms Applying Finite-State Transducers (FST)

2009 ◽  
pp. 102-112 ◽  
Author(s):  
Carmen Galvez
Keyword(s):  
Pattern Matching ◽  
Equivalence Relations ◽  
Finite State Transducers ◽  
Syntactic Pattern ◽  
Finite State ◽  
Standardization Process ◽  
Text Database ◽  
Basic Approaches ◽  
Search For Information ◽  
Standardization Methods

This chapter presents the different standardization methods of terms at the two basic approaches of nonlinguistic and linguistic techniques, and sets out to justify the application of processes based on finitestate transducers (FST). Standardization of terms is the procedure of matching and grouping together variants of the same term that are semantically equivalent. A term variant is a text occurrence that is conceptually related to an original term and can be used to search for information in a text database. The uniterm and multiterm variants can be considered equivalent units for the purposes of automatic indexing. This chapter describes the computational and linguistic base of the finite-state approach, with emphasis on the influence of the formal language theory in the standardization process of uniterms and multiterms. The lemmatization and the use of syntactic pattern-matching, through equivalence relations represented in FSTs, are emerging methods for the standardization of terms.

scholarly journals A lexico-syntactic Pattern Matching Method to Extract Idm- Triz Knowledge from On-line Patent Databases

2015 ◽  
Vol 131 ◽  
pp. 418-425 ◽  
Author(s):  
Achille Souili ◽  
Denis Cavallucci ◽  
François Rousselot
Keyword(s):  
Pattern Matching ◽  
Matching Method ◽  
Syntactic Pattern ◽  
On Line

scholarly journals Effectiveness of Lexico-syntactic Pattern Matching for Ontology Enrichment with Clinical Documents

2011 ◽  
Vol 50 (05) ◽  
pp. 397-407 ◽  
Author(s):  
W. W. Chapman ◽  
G. Savova ◽  
C. G. Chute ◽  
N. Sioutos ◽  
R. S. Crowley ◽  
...  
Keyword(s):  
Pattern Matching ◽  
National Cancer Institute ◽  
Semantic Knowledge ◽  
Acceptance Rate ◽  
Evaluation Metrics ◽  
Second Step ◽  
Matching Method ◽  
Domain Experts ◽  
Syntactic Pattern ◽  
The Relationship

SummaryObjective: To evaluate the effectiveness of a lexico-syntactic pattern (LSP) matching method for ontology enrichment using clinical documents.Methods: Two domains were separately studied using the same methodology. We used radiology documents to enrich RadLex and pathology documents to enrich National Cancer Institute Thesaurus (NCIT). Several known LSPs were used for semantic knowledge extraction. We first retrieved all sentences that contained LSPs across two large clinical repositories, and examined the frequency of the LSPs. From this set, we randomly sampled LSP instances which were examined by human judges. We used a twostep method to determine the utility of these patterns for enrichment. In the first step, domain experts annotated medically meaningful terms (MMTs) from each sentence within the LSP. In the second step, RadLex and NCIT curators evaluated how many of these MMTs could be added to the resource. To quantify the utility of this LSP method, we defined two evaluation metrics: suggestion rate (SR) and acceptance rate (AR). We used these measures to estimate the yield of concepts and relationships, for each of the two domains.Results: For NCIT, the concept SR was 24%, and the relationship SR was 65%. The concept AR was 21%, and the relationship AR was 14%. For RadLex, the concept SR was 37%, and the relationship SR was 55%. The concept AR was 11%, and the relationship AR was 44%.Conclusion: The LSP matching method is an effective method for concept and concept relationship discovery in biomedical domains.

Sign in / Sign up

Export Citation Format

Share Document