Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,208,496 papers from all fields of science
Search
Sign In
Create Free Account
Formal language
Known as:
Language (disambiguation)
, Formal linguistic analysis
, Formal expression
Expand
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AC (complexity)
Adaptive grammar
Attempto Controlled English
Berman–Hartmanis conjecture
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Ontology Matching with CIDER: Evaluation Report for the OAEI 2008
J. Gracia
,
E. Mena
Organizational Memories
2008
Corpus ID: 1618499
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the…
Expand
2008
2008
Autonomic trust reasoning enables misbehavior detection in OLSR
A. Adnane
,
Rafael Timóteo de Sousa Júnior
,
C. Bidan
,
L. Mé
ACM Symposium on Applied Computing
2008
Corpus ID: 14827524
Ad Hoc networks do not rely on any centralized administration or fixed network infrastructure and their nodes establish a routing…
Expand
2008
2008
Formal Security Definition and Efficient Construction for Roaming with a Privacy-Preserving Extension
Guomin Yang
,
D. Wong
,
Xiaotie Deng
Journal of universal computer science (Online)
2008
Corpus ID: 1193737
In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no…
Expand
Highly Cited
2007
Highly Cited
2007
Substring-Based Transliteration
Tarek Sherif
,
Grzegorz Kondrak
Annual Meeting of the Association for…
2007
Corpus ID: 12223441
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based…
Expand
2007
2007
Identification of Languages and Encodings in a Multilingual Document
Anil Kumar Singh
,
Jagadeesh Gorla
2007
Corpus ID: 42789351
Text on the Web is available in numerous languages and encodings, often not according to any standards. The number of…
Expand
2005
2005
Aligning Parallel Bilingual Corpora Statistically with Punctuation Criteria
Thomas C. Chuang
,
K. Yeh
ROCLING/IJCLCLP
2005
Corpus ID: 18620783
We present a new approach to aligning sentences in bilingual parallel corpora based on punctuation, especially for English and…
Expand
1999
1999
GeNotator: an environment for exploring the application of evolutionary techniques in computer-assisted composition
Kurt Thywissen
Organised Sound
1999
Corpus ID: 62621821
A computer-assisted composition tool for investigating the application of evolutionary techniques in the composition of music is…
Expand
1997
1997
Classification in Music: A Computational Model for Paradigmatic Analysis
C. Anagnostopoulou
,
G. Westermann
International Conference on Mathematics and…
1997
Corpus ID: 10677432
We present a computational model for the paradigmatic analysis of musical pieces, which is the classi cation of musical segments…
Expand
1993
1993
A model checker for statecharts (linking case tools with formal methods)
N. A. Day
1993
Corpus ID: 60739372
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in…
Expand
1986
1986
The Manufacturing Game: A Formal Approach to Manufacturing Software
A. Naylor
,
M. Maletz
IEEE Transactions on Systems, Man and Cybernetics
1986
Corpus ID: 24818136
A formal modeling system intended for modeling the flow of parts, tools, information, and material on the factory floor is…
Expand