default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 161 matches
- 2024
- Weicheng Zhou, Huilin Ge, Muhammad Awais Ashraf:
Symmetry-Enhanced Fuzzy Logic Analysis in Parallel and Cross-Road Scenarios: Optimizing Direction and Distance Weights for Map Matching. Symmetry 16(6): 683 (2024) - Jeremy J. Lin, Tomoro Mochida, Riley C. W. O'Neill, Atsuro Yoshida, Masashi Yamazaki, Akinobu Sasada:
Two Online Map Matching Algorithms Based on Analytic Hierarchy Process and Fuzzy Logic. CoRR abs/2402.11866 (2024) - 2023
- Bertrand Le Gal:
Adéquation Algorithme Architecture - Approches matérielles et logicielles pour les applications de communications numériques. (Algorithm Architecture Matching - Hardware and software approaches for digital communications applications). University of Bordeaux, France, 2023 - ShangBei Wang, WeiYu Dong:
Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns. Int. J. Softw. Eng. Knowl. Eng. 33(2): 257-288 (2023) - Shangbei Wang, Yintong Wang:
Matching Logic Based on Ownership Transfer. Int. J. Softw. Eng. Knowl. Eng. 33(1): 55-84 (2023) - Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Capturing constrained constructor patterns in matching logic. J. Log. Algebraic Methods Program. 130: 100810 (2023) - Tim Lethen:
A (machine-oriented) logic based on pattern matching. Math. Struct. Comput. Sci. 33(7): 647-659 (2023) - Xinwei Wang, Alexander Edward Ian Brownlee, Michal Weiszer, John R. Woodward, Mahdi Mahfouf, Jun Chen:
An Interval Type-2 Fuzzy Logic-Based Map Matching Algorithm for Airport Ground Movements. IEEE Trans. Fuzzy Syst. 31(2): 582-595 (2023) - Francesco Manigrasso, Lia Morra, Fabrizio Lamberti:
Fuzzy Logic Visual Network (FLVN): A Neuro-Symbolic Approach for Visual Features Matching. ICIAP (2) 2023: 456-467 - Xinyu Zhou, Anna Zhu, Huen Chen, Wei Pan:
Scene Text Involved "Text"-to-Image Retrieval through Logically Hierarchical Matching. ICME 2023: 114-119 - Jan Tusil, Péter Bereczky, Dániel Horpácsi:
Interactive Matching Logic Proofs in Coq. ICTAC 2023: 139-157 - Dorel Lucanu:
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models. FROM 2023: 41-55 - Francesco Manigrasso, Lia Morra, Fabrizio Lamberti:
Fuzzy Logic Visual Network (FLVN): A neuro-symbolic approach for visual features matching. CoRR abs/2307.16019 (2023) - 2022
- Yongqi Wang, Limao Zhang, Hongbo Yu, Robert L. K. Tiong:
Detecting logical relationships in mechanical, electrical, and plumbing (MEP) systems with BIM using graph matching. Adv. Eng. Informatics 54: 101770 (2022) - Alexandru-Ioan Lungu, Dorel Lucanu:
A Matching Logic Foundation for Alk. ICTAC 2022: 290-304 - James Cheney, Maribel Fernández:
Nominal Matching Logic. PPDP 2022: 5:1-5:15 - Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Tamás Bálint Mizsei, Lucas Peña, Jan Tusil:
Mechanizing Matching Logic in Coq. FROM 2022: 17-36 - James Cheney, Maribel Fernández:
Nominal Matching Logic. CoRR abs/2207.14139 (2022) - Minoo Jafarlou, Omid Mahdi Ebadati E., Hassan Naderi:
Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection. CoRR abs/2208.02881 (2022) - 2021
- Héctor-Daniel Vázquez-Delgado, Madaín Pérez Patricio, Abiel Aguilar-González, Miguel Octavio Arias-Estrada, Marco-Antonio Palacios-Ramos, Jorge-Luis Camas-Anzueto, Antonio Pérez Cruz, Sabino Velázquez-Trujillo:
Real-time multi-window stereo matching algorithm with fuzzy logic. IET Comput. Vis. 15(3): 208-223 (2021) - Amine Habous, El Habib Nfaoui:
A fuzzy logic and ontology-based approach for improving the CV and job offer matching in recruitment process. Int. J. Metadata Semant. Ontologies 15(2): 104-120 (2021) - Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Matching logic explained. J. Log. Algebraic Methods Program. 120: 100638 (2021) - ShangBei Wang:
From Matching Logic To Parallel Imperative Language Verification. CoRR abs/2102.04011 (2021) - Shangbei Wang:
Concurrent matching logic. CoRR abs/2109.00319 (2021) - 2020
- Lê Thành Dung Nguyên:
Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix. Log. Methods Comput. Sci. 16(1) (2020) - Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu:
Towards a unified proof framework for automated fixpoint reasoning using matching logic. Proc. ACM Program. Lang. 4(OOPSLA): 161:1-161:29 (2020) - Xiaohong Chen, Grigore Rosu:
A general approach to define binders using matching logic. Proc. ACM Program. Lang. 4(ICFP): 88:1-88:32 (2020) - Grigore Rosu, Xiaohong Chen:
Matching logic: the foundation of the K framework (invited talk). CPP 2020: 1 - Xiaohong Chen, Dorel Lucanu, Grigore Rosu:
Connecting Constrained Constructor Patterns and Matching Logic. WRLA@ETAPS 2020: 19-37 - Bashar Tahayna, Mohammed Belkhatir:
Near-duplicate video detection featuring coupled temporal and perceptual visual structures and logical inference based matching. CoRR abs/2005.07356 (2020)
skipping 131 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-23 12:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint