A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Speaker Recognition System Using Symbolic Modelling of Voiceprint
2017
International Journal of Signal Processing, Image Processing and Pattern Recognition
Preserved Fulltext
The intra-speaker variations in the features are captured in a symbolic data structure. ...
This representation of the symbolic object accommodates the variability in features of speaker voiceprint and is one of the novel contributions of the proposed speaker recognition system. ...
It is associated with the sound level, sound quality, frequency and the duration of the sound. ...
doi:10.14257/ijsip.2017.10.10.01
fatcat:pyszv4w7u5fxzhqkvbfvf64siq
Efficient software model checking of soundness of type systems
2008
Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Thus, given only a specification of type correctness and the small step operational semantics for a language, our system automatically checks type soundness by checking that the progress and preservation ...
Our paper thus makes contributions both in the area of checking soundness of type systems, and in the area of reducing the state space of a software model checker. ...
Thus, given only a specification of type correctness and the small step operational semantics for a language, our system automatically checks type soundness by checking that the progress and preservation ...
doi:10.1145/1449764.1449803
dblp:conf/oopsla/RobersonHDB08
fatcat:dviwnz2izzgmzgij3qv3ytlclq
Higher-order symbolic execution via contracts
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Supporting this feature-rich language of specifications leads to powerful symbolic reasoning using existing program assertions. ...
Our approach is based on the idea of an abstract reduction semantics that gives an operational semantics to programs with both concrete and symbolic components. ...
Acknowledgments: We are grateful to Phillipe Meunier for discussions of his prior work and providing code for the prototype implementation of his system; to Casey Klein for help with Redex; and to Christos ...
doi:10.1145/2384616.2384655
dblp:conf/oopsla/Tobin-HochstadtH12
fatcat:q76ikttfhzgr7kt6gi36myqrnu
Cross-modal iconicity: A cognitive semiotic approach to sound symbolism
2010
Sign Systems Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It is being increasingly recognized that the Saussurean dictum of "the arbitrariness of the linguistic sign" is in conflict with the pervasiveness of the phenomenon commonly known as "sound symbolism". ...
After first presenting a historical overview of the debate, however, we conclude that both positions have been exaggerated, and that an adequate explanation of sound symbolism is still lacking. ...
Another basic tenet of structuralism was that signs are delimited and defined by their contrast with other signs in the specific language system. ...
doi:10.12697/sss.2010.38.1-4.11
fatcat:q6osqrnrbfhadfeckk5motk4lq
Mechanics of the Peripheral Auditory System: Foundations for Embodied Listening Using Dynamic Systems Theory and the Coupling Devices as a Metaphor
2021
F1000Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Understanding the constraints and affordances of the physical ear with regard to incoming sound supports the embodied listening paradigm. ...
Coupling, self-organization, and attractors are the central characteristics of dynamic systems. ...
I am also grateful for the time and efforts from the editors and the reviewers. Warm thanks goes to Natsumi Tsuchida for the care she put into drawing the figures. ...
doi:10.12688/f1000research.51125.2
fatcat:rpy4cyywbbdvnbz6fq5tj2qixe
Computational Ontologies and Information Systems I: Foundations
2004
Communications of the Association for Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Each discipline sought to create domain-specific ontologies that structure concepts and things pertaining to their discipline. ...
only in the limited context of domain-specific reality. ...
The emerging structure should then be tested for soundness using the constraints. By soundness we mean that the ontology is unambiguous and coherent with no internal contradictions 5 . ...
doi:10.17705/1cais.01408
fatcat:p2v2j3vfgnhb5gempb3lntuwau
SPARQL Query Processing with Conventional Relational Database Systems
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper describes an evolution of the 3store RDF storage system, extended to provide a SPARQL query interface and informed by lessons learned in the area of scalable RDF storage. ...
The AKT IRC is sponsored by the UK Engineering and Physical Sciences Research Council under grant number GR/N15764/01 and comprises the Universities of Aberdeen, Edinburgh, Sheffield, Southampton and the ...
Open University. ...
doi:10.1007/11581116_25
fatcat:ttciw7deajhdrosb3qkee7jaou
How to Improve Pronunciation? An In-depth Contrastive Investigation of Sound-spelling Systems in English and Persian
2011
Journal of Language Teaching and Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Then, in the comparison stage, the detailed comparison and contrast of the two languages have been made in terms of the juxtaposed sound-spelling features. ...
Firstly, the researcher has determined the common base between the two languages, i.e. the structural phonology, and has postulated it as the tertium comparationis of the study. ...
Therefore, the present study has first described the sound-spelling system of the Persian and English languages separately within the descriptive framework of structural phonology, leading to specifications ...
doi:10.4304/jltr.2.5.1086-1098
fatcat:e6u5dwv265gpzk7hev4mfqxbgq
A student model of katakana reading proficiency for a Japanese language intelligent tutoring system
1994
IEEE Transactions on Systems, Man and Cybernetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This work describes the development of a student model that is used in a Japanese language inteUigent tutoring system to assess a pupil's proficiency at reading one of the distinct orthographies of Japanese ...
, known as katakana, While the effort required to memorize the relatively few katakana symbols and their associated pronunciations is not prohibitive, a major difficulty in reading katakana is associated ...
Kazumi Hatasa and Prof. Yukiko Hatasa of the Foreign Languages and Literatures Department of Purdue University for their comments and many useful insights on Japanese phonology. ...
doi:10.1109/21.310511
fatcat:kky44eiqjretxblv3637aqla5q
Describing and analyzing distributed software system designs
1985
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
The usefulness of the approach is illustrated by applying it to a realistic distributed software-system design problem involving mutual exclusion in a computer network. ...
In this paper we outline an approach to describing and analyzing designs for distributed software systems. ...
ACKNOWLEDGMENTS We are grateful to Laura Dillon, Alexander Wolf, and William Riddle for their comments on earlier versions of this paper. We also thank the referees for their useful advice. ...
doi:10.1145/3916.3989
fatcat:qdk4e63jgzfifkjsq4j4h37zrq
Learning to Use an Alphabetic Writing System
2013
Language Learning and Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Different writing systems represent language at different levels, including the morpheme, the syllable, and the phoneme. Some systems represent more than one level of language. ...
In this paper, we focus on writing systems that map onto language primarily at the level of phonemes, or alphabetic systems. ...
ACKNOWLEDGMENTS The research described here was supported in part by NICHD Grant HD051610. We thank the members of the Reading and Language Lab for comments on a draft of the manuscript. ...
doi:10.1080/15475441.2013.812016
pmid:24077986
pmcid:PMC3783964
fatcat:sbp76spbqzet7l2fynsjlds76u
Constraint logic and its applications in production: an implementation using the Galileo4 language and system
[chapter]
1997
The Planning and Scheduling of Production Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
The set of models of the language under which the theory is satisfied is the set of solutions of a constraint network. ...
Galileo4, an implemented language and companion run-time system based on these ideas is discussed and its efficacy is demonstrated by presenting applications in which high problem-solving versatility is ...
for the language L = P, F, K , U is a universe of discourse while I is an interpretation function for the constant, predicate, and function symbols of L. ...
doi:10.1007/978-1-4613-1195-9_8
fatcat:2vnr5nbyrvabtlz6rvybtqnyny
An algorithm for domain knowledge base acquisition in an intelligent tutoring system: Japanese transliteration rules
1996
System (Linköping)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This article describes an algorithm for developing a domain knowledge base that is used in a Japanese language intelligent tutoring system. ...
Whereas the effort required to memorize the relatively few katakana symbols and their associated pronunciations is not prohibitive, a major difficulty in reading katakana is associated with the phonetic ...
The architecture of this system closely resembles the general structure of ITSs outlined above. ...
doi:10.1016/0346-251x(95)00053-m
fatcat:f6o5q4tryvgirmwzye5yvdduqu
Audio system for technical readings
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A S T E R is interactive, and the ability to browse information structure and obtain multiple views enables active listening. ...
Visual communication is characterized by the eye's ability to actively access parts of a two-dimensional display. The reader is active, while the display is passive. ...
read specific portions of the text being presented. ...
doi:10.1007/bfb0054978
fatcat:6p7hjnvzrncgjlgspaflsle47m
Absolute Pitch Acquisition as Memory System with Its' Musical Executive Function from Cognitive Neuropsychological Perspective
2019
Asian Journal of Humanities and Social Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
music and language structure in music cognitive neuropsychology studies' evidence, as a background for cognitive neuropsychological possibilities of its generally available development. ...
Absolute (perfect) pitch is defined as the ability to identify and categorize a musical pitch - tone frequency by its name in the musical equal temperament tuning system without an external reference tone ...
This is supported by the similarities between the syntactic systems by which music and language are processed in the brain, they are both human universals in which hierarchically structured sequences are ...
doi:10.24203/ajhss.v7i5.5900
fatcat:e7ba5ydoq5a3pkyn74bksaqrku
« Previous
Showing results 1 — 15 out of 46,806 results