Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,842,883 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.
2010
2010
Formalizing MapReduce with CSP
F. Yang
,
Wen Su
,
Huibiao Zhu
,
Qin Li
17th IEEE International Conference and Workshops…
2010
Corpus ID: 15510201
As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets…
Expand
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
2008
2008
'Aware of What?' A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model
G. Metaxas
,
P. Markopoulos
EHCI/DS-VIS
2008
Corpus ID: 17222585
We present a formal-model of awareness-systems founded upon the focus and nimbus model of Benford et al [2] and of Rodden [19…
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
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
1992
1992
A logical model of competence and performance in the human sentence processor
M. Crocker
1992
Corpus ID: 5559488
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an…
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