46,806 Hits in 6.8 sec

Speaker Recognition System Using Symbolic Modelling of Voiceprint

Shanmukhappa A. Angadi, Sanjeevakumar M. Hatture
2017 International Journal of Signal Processing, Image Processing and Pattern Recognition  
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

Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
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

Sam Tobin-Hochstadt, David Van Horn
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
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

Felix Ahlner, Jordan Zlatev
2010 Sign Systems Studies  
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

Bruno Jactat
2021 F1000Research  
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

Rajiv Kishore, Raj Sharman
2004 Communications of the Association for Information Systems  
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]

Stephen Harris, Nigel Shadbolt
2005 Lecture Notes in Computer Science  
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

Seyyed Mohammad Ali Soozandehfar, Marzieh Souzandehfar
2011 Journal of Language Teaching and Research  
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

A.A. Maciejewski, Y.-S. Kang
1994 IEEE Transactions on Systems, Man and Cybernetics  
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

George S. Avrunin, Jack C. Wileden
1985 ACM Transactions on Programming Languages and Systems  
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

Rebecca Treiman, Brett Kessler
2013 Language Learning and Development  
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]

D. Bahler, J. Bowen
1997 The Planning and Scheduling of Production Systems  
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

Yun-Sun Kang, Anthony A. Maciejewski
1996 System (Linköping)  
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  
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

Irina G. Andreeva, Maria Dymnikowa, Elena A. Ogorodnikova, Valentin I. Petrushin
2019 Asian Journal of Humanities and Social Studies  
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