Sciweavers

3457 search results - page 224 / 692
» A Symbol Is Not a Symbol
Sort
View
JALC
2006
90views more  JALC 2006»
15 years 6 months ago
Generating all Circular Shifts by Context-Free Grammars in Chomsky Normal Form
-- Let {a1, a2, . . . , an} be an alphabet of n symbols and let Cn be the language of circular shifts of the word a1a2
Peter R. J. Asveld
TFS
2008
131views more  TFS 2008»
15 years 6 months ago
A Fuzzy Qualitative Framework for Connecting Robot Qualitative and Quantitative Representations
Abstract-- This paper proposes a novel framework for describing articulated robot kinematics motion with the goal of providing a unified representation by combining symbolic or qua...
Honghai Liu
FASE
2006
Springer
15 years 10 months ago
Regular Inference for State Machines with Parameters
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
Therese Berg, Bengt Jonsson, Harald Raffelt
TASLP
2008
140views more  TASLP 2008»
15 years 6 months ago
Acoustic Chord Transcription and Key Extraction From Audio Using Key-Dependent HMMs Trained on Synthesized Audio
We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...
Kyogu Lee, Malcolm Slaney
CIE
2009
Springer
16 years 1 months ago
Decidability of Sub-theories of Polynomials over a Finite Field
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
Alla Sirokofskich