Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,290,028 papers from all fields of science
Search
Sign In
Create Free Account
Syntactic methods
In software engineering, syntactic methods are techniques for developing correct software programs. The techniques attempt to detect, and thus…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
ACM Transactions on Programming Languages and Systems
Computer program
Directed graph
IEEE Transactions on Software Engineering
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
On Minimalism of Analysis by Reduction by Restarting Automata
Martin Plátek
,
Dana Pardubská
,
Markéta Lopatková
IEEE International Conference on Automatic Face…
2014
Corpus ID: 17880746
The paper provides linguistic observations as a motivation for a formal study of an analysis by reduction. It concentrates on a…
Expand
2008
2008
Managing an Evolving Shared Knowledge Repository : The Upgrade Process via Semantic Mediation
S. Muthaiyah
,
George Mason
2008
Corpus ID: 16353231
This research focuses on the problem of ontology change management in the context of evolving shared hierarchical knowledge…
Expand
2002
2002
An adaptive alternative for syntactic pattern recognition
A. Hirakawa
,
J. J. Neto
2002
Corpus ID: 18649305
Currently there are three basic types of pattern recognition, the syntactic, the statistical and the neural types. They all have…
Expand
2001
2001
Semantic-oriented syntactic algorithms for content recognition and understanding of images in medical databases
M. Ogiela
,
R. Tadeusiewicz
IEEE International Conference on Multimedia and…
2001
Corpus ID: 40531171
An important feature to be considered in the design of medical databases is content-based retrieval of images showing particular…
Expand
1998
1998
An investigation of the linguistic characteristics of japanese information retrieval
H. Fujii
,
W. Bruce Croft
1998
Corpus ID: 32051229
AN INVESTIGATION OF THE LINGUISTIC CHARACTERISTICS OF JAPANESE INFORMATION RETRIEVAL
Review
1994
Review
1994
A formal model for heuristic search
B. Stilman
International Conference on Scientific Computing
1994
Corpus ID: 10538189
: We develop a formal theory, the so-called Linguistic Geometry, in order to discover the inner properties of human expert…
Expand
Review
1994
Review
1994
A linguistic geometry for space applications
B. Stilman
1994
Corpus ID: 16707247
We develop a formal theory, the so-called Linguistic Geometry, in order to discover the inner properties of human expert…
Expand
Review
1981
Review
1981
Syntactic Models for Image Analysis
K. Fu
DAGM-Symposium
1981
Corpus ID: 30796486
Syntactic approach to image analysis is introduced. Problems of primitive selection, image grammars and structure analysis are…
Expand
1979
1979
Speech segmentation and recognition using syntactic methods on the direct signal
M. Baudry
,
B. Dupeyrat
IEEE International Conference on Acoustics…
1979
Corpus ID: 30354420
The acoustical parameters are progressively extracted from the sampled signal up to the phonems by use of syntactic methods. The…
Expand
1978
1978
Recognition of Spoken Words and Phrases in Multitalker Environment Using Syntactic Methods
R. Kashyap
,
M. Mittal
IEEE transactions on computers
1978
Corpus ID: 27558017
We describe a method of recognizing isolated words and phrases from a given vocabulary spoken by any member in a given group of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE