ppxscal/embedding_network huggingface dataset:
Vowel development in English and Korean: Similarities and differences in linguistic and non-linguistic factors
Authors: Soyoung Lee, Gregory K. Iverson
Venue: Speech Communication (2009)

This study presents an acoustic examination of vowels produced by English and Korean-speaking male and female children in two age groups, 5 and 10 years. In response to picture cards, a total of 80 children (10 each in eight groups categorized according to age, sex and language) produced tokens of seven vowels which are typically transcribed using the same IPA symbols in both languages. Fundamental as well as first and second formant frequencies were measured. In addition, vocal tract length was estimated on the basis of the F"3 values of /@?/. As expected, these properties differed between the two age groups. However, the two non-linguistic elements (fundamental frequency and vocal tract length) were similar between sexes and between languages whereas the linguistic factors (frequencies of the first and second formants) varied as a function of sex and language. Moreover, the F"2 differences between English and Korean-speaking children were similar to those between English and Korean-speaking adults as reported by Yang [Yang, B., 1996. A comparative study of American English and Korean vowels produced by male and female speakers. J. Phonet. 24, 245-261], with children as young as 5 years thus reflecting the formant frequencies of their ambient languages. The results of this study suggest that formant frequency differences between sexes during the pre- and peri-puberty periods can be attributed chiefly to behavioral rather than to anatomical differences.
An initial approach to mining multiple perspectives of a business process
Authors: Aubrey J. Rembert, Clarence (Skip) Ellis
Venue: The Fifth Richard Tapia Celebration of Diversity in Computing Conference: Intellect, Initiatives, Insight, and Innovations (2009)

In this work, we present some preliminary ideas about the development of an approach to mining different perspectives of a business process. Process mining, to date, has been narrowly concerned with mining the control-flow of a business process. There are very few process mining algorithms aimed at mining different business process perspectives. We believe one of the primary reasons for the paucity of process mining algorithms in perspectives other than control-flow is that there has been no general definition of what a business process perspective is. With this work, we provide a formal and general definition of a business process perspective, and present an approach to mine other business process perspectives using this definition.
Intelligent Models for Design Conceptualization of Autonomous Vehicle Storage and Retrieval Systems
Authors: Miki Fukunari, Charles J. Malmborg
Venue: Proceeding of the 2006 conference on Integrated Intelligent Systems for Engineering Design (2006)

Unit load storage systems are pervasive throughout global supply chains. Significant reductions in their automation costs could have significant economic impact. A new alternative to traditional crane-based automation uses flexible autonomous vehicles in storage and retrieval operations. This technology has not significantly penetrated commercial markets for warehouse automation due to a lack of design tools for evaluating its performance. This precludes direct comparisons of autonomous vehicle technology with crane-based technology in the pre-engineering or “design conceptualization” stage of system development where key technology selection decisions are made. To address this problem, this chapter proposes computationally efficient cycle time models for Autonomous Vehicle Storage and Retrieval System that use scalable computational procedures for large-scale design conceptualization. Simulation based validation studies suggest that the models produce high accuracy. The procedure is demonstrated for over 4,000 scenarios corresponding to enumeration of the design spaces for a range of sample problems.
Unifying preference and judgment aggregation
Authors: Davide Grossi
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1 (2009)

The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decision-making: the framework of preference aggregation, developed from the seminal work of K. Arrow on social choice theory; and the more recent framework of judgment aggregation. Such unification provides several original insights on collective decision-making problems. The methods used are based on logic and, in particular, on formal semantics.
Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach
Authors: Matthew Iklé, Ben Goertzel
Venue: Proceeding of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference (2008)

Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which is a key component of the Novamente Cognition Engine (NCE), an integrative AGI system. Previous papers have discussed the use of indefinite probabilities in the context of a variety of logical inference rules, but have omitted discussion of quantification. Here this gap is filled, and a mathematical procedure is provided allowing the propagation of indefinite probabilities through universal and existential quantifiers, and also through a variety of fuzzy quantifiers corresponding to natural language quantifiers (such as “few”, “many”, “a lot”, “hardly any”, etc.). Proper probabilistic handling of various quantifier transformation rules is also discussed. Together with the ideas in prior publications, and a forthcoming sequel paper on indefinite probabilities for intensional inference, these results allow probabilistic logic based on indefinite probabilities to be utilized for the full scope of inferences involved in intelligent reasoning. To illustrate the ideas and algorithms involved, we give two concrete examples: Halpern's “crooked lottery” predicate, and a commonsense syllogism that uses fuzzy quantifiers together with the standard PLN term logic deduction rule.
Performance-driven circuit and layout co-optimization for deep-submicron analog circuits
Authors: Henry Chan, Zeljko Zilic
Venue: Analog Integrated Circuits and Signal Processing (2009)

The deep sub-micron (DSM) process nodes are increasingly marred by layout-dependent effects. The principal reason preventing layout synthesis during circuit design is the cost of edition, verification and extraction of the intermediate solutions repeatedly. This paper proposes a circuit and layout co-optimization scheme through a novel parasitic model-building scheme that exchanges information between the two flows. A placement-based parasitic estimation method to provide parasitic estimations to schematic optimization tools while retaining their efficiency. Extracted parasitics and simulated performance data are imparted into parasitic macro-devices and performance sensitivities. As proved by experimental results, the flexibility of the parasitic models bridges the efficiency and accuracy void between schematic and physical design optimization to ensure rapid DSM design closure.
A reliable topology for efficient key distribution in ad-hoc networks
Authors: Kenji Miyao, Hidehisa Nakayama, Nirwan Ansari, Yoshiaki Nemoto, Nei Kato
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Data confidentiality is one of the most important concerns in security of ad-hoc networks which have been widely studied in recent years. In this paper, we consider the public-key cryptography which is one of the simplest and viable means to maintain data confidentiality. There are several ways to distribute a public key. Flooding is an intuitive approach to distribute each node’s public key. However, the normal flooding approach is costly, and can cause MAC-level contention in a dense region of nodes. Tree based topology flooding can be appied to mitigate these problems. The construction algorithm should use ideally only local information. In this paper, we propose a completely localized algorithm called the Local Tree-based Reliable Topology (LTRT) algorithm, which achieves both reliability and efficiency. LTRT is a localized version of TRT that has 2-edge connectivity. Each node can distribute its public key to all other nodes in the network by LTRT. Simulation results show the efficiency of LTRT and its superiority over other localized algorithms.
Weighted Dissociated Dipoles for Evolutive Learning
Authors: Xavier Baró, Jordi Vitrià
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

The complexity of any learning task depends as in the learning method as on finding a good representation of the data. In the concrete case of object recognition in computer vision, the representation of the images is one of the most important decisions in the design step. As a starting point, in this work we use the representation based on Haar-like filters, a biological inspired feature based on local intensity differences. From this commonly used representation, we jump to the dissociated dipoles, another biological plausible representation which also includes non-local comparisons. After analyzing the benefits of both representations, we present a more general representation which brings together all the good properties of Haar-like and dissociated dipoles representations. All these feature sets are tested with an evolutionary learning algorithm over different object recognition problems. Besides, an extended statistically study of these results is performed in order to verify the relevance of these huge feature spaces applied to different object recognition problems.
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
Authors: Ernst-Erich Doberkat
Venue: Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (2009)

We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and includes bisimilarity; the results here indicate that a measurable structure on the state space of the Kripke model suffices. In contrast to a paper by Danos et al. we focus on the measurable structure of the factor space induced by the logic. This technique worked well in the analytic case, and it is shown to work here as well. The main contribution of the paper is methodological, since it provides a uniform framework for general measurable as well as more specialized analytic spaces.
A novel SoC platform based multi-IP verification and performance measurement
Authors: Joo-Yul Park, So-Jin Lee, Ki-Seok Chung
Venue: International Journal of Information and Communication Technology (2009)

It is well-known that in ASIC designs, verification is more difficult and time consuming than design itself. As the number of IPs in a SoC design increases, IP verification and performance validation have become the important factors in reducing time-to-market. In this paper, we propose a novel SoC platform based verification methodology which tests multiple IPs together using a single testbench. We've found that commercially available SoC platforms such as Altera Excalibur or Xilinx Virtex provide excellent environment in verifying the functionalities of mutually interactive multiple IPs with very low cost. In our methodology, embedded processor core built in the SoC device is used mainly for verification purposes and it runs a C-based testbench. The mutually interactive IPs are programmed in the FPGA device. We implement a set of tools which consists of a communication interface and a wrapper generator. Using this platform, we have verified up to five IPs together successfully, but we can verify more IPs together easily. Time and effort to verify complex IPs have been significantly reduced using this methodology.
WAPPEN: a web-based application framework for programming and its bison/flex plug-in
Authors: Koji Kagawa
Venue: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education (2009)

This poster presents an Eclipse RCP-based application framework named Wappen for learning programming, and especially, its plugin for Bison and Flex. In courses such as compiler construction and programming languages, learners have to use multiple languages. Time and e ort spent by learners on installation and configuration of programming environments are not negligible. Wappen provides an infrastructure on which teachers can arrange simple Web-based programming environments for various programming languages by writing plug-ins. Wappen for Oolong has been successfully used in our compiler construction lab, where Oolong is an assembly language for the Java Virtual Machine. This poster introduces Wappen for Bison/Flex that tries to help learners avoid pitfalls of Bison/Flex in some respects. It is planned to be put into practical use in our compiler construction lab this year.
A power law for Mexican nanotechnology research groups size
Authors: Armando Barrañon
Venue: Proceedings of the 1st WSEAS international conference on Nanotechnology (2009)

A power law is obtained for the cluster size distribution of Mexican Nanotechnology research groups. This is interpreted in terms of the homeostasis of research groups where information needs to be exchanged in order to maintain the group alive. The mean size of these research groups is 5 indicating that Mexican research networks are not large enough to consider an institutionalization process. In addition, statistics of women participation in these research groups indicate the need to improve women participation in these Nanotechnology and Nanosciences research groups.
Postoperative evaluation platform of female breast implant surgery with breast configuration indicator
Authors: Shuh-Ping Sun, Ko-Wen Hsu, Jing-Shyr Chen
Venue: Computers in Biology and Medicine (2009)

The purpose of this study is to establish an optimal module of breast configuration, under normal seating state, for postoperative evaluation of a female breast implant surgery. The analytical parameters of breast configuration, such as the breast position, size and shape, can be derived from a three-dimensional (3D), full-sized image process under non-radiation condition. This optimal module converts the breast position, size and shape to the breast configuration indicator consisting of three components or indices-the breast position, volume and breast congruence rate. In conjunction with the continuity analysis, the breast configuration indicator would allow a surgeon to practically grasp the progress during the postsurgery revisits. In addition, the module derived from the proposed computer-aided breast configuration indicator could be of great use as a tool of communication between patients and surgeons.
Technology at work to mediate collaborative scientific enquiry in the field
Authors: Hilary Smith, Rose Luckin, Geraldine Fitzpatrick, Katerina Avramides, Joshua Underwood
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devices. Both projects however played out in different ways. A qualitative analysis of the projects points to the various issues that contributed to the different experiences despite similar technologies for a similar task. These include: project focus; type of facilitator input and the benefits of in-situ data collection combined with subsequent review and reflection. We point to specific relationships between technologies and context of use, and building on this draw out recommendations for the design of in-context, science learning sessions. This work contributes to the growing conceptual understanding, based on 'real world' experiences, of how mobile and ubiquitous technologies can be appropriated in context to support learning. It contributes to an increased understanding of the types of collaborative scientific activity that are supported by different technology configurations, and the roles that human and system facilitators can play in this process.
A Calculus for Distributed Firewall Specification and Verification
Authors: Liviu Pene, Kamel Adi
Venue: Proceeding of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06 (2006)

This paper proposes a firewall specification calculus suited for expressing security policies implemented in distributed firewalls. Our syntax and semantics, inspired from the ambient calculus, allow the specification of filtering rules for both single and distributed configurations. We show how our calculus can be used to address the problem of conflict detection and how our approach facilitates the analysis of the effect that network topologies have on distributed firewall policies.
GeDeE - an application for generating, deriving and evaluating mathematical expressions
Authors: Razvan Tudor Tanasie, Dorian Cojocaru
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

GeDeE is and application for generating expressions and handling them, for deriving expressions and interpreting them numerically. In this paper, the GeDeE structure has been presented and its using way has been exemplified for a 3D inverse kinematics application for hyper-redundant robots. This is only one example, the GeDeE structure allowing easy adaptability for any other type of expressions application. An expressions' generator has been built in order to store the values of the operational coordinates and then to determine an expressions' Jacobian. Algorithms for generation and deriving expressions have been created. Derivation and decryption have been achieved using an interpreter.
Learning Designs and Learning Objects: Where Pedagogy Meets Technology
Authors: Ron Oliver, Ralph Wirski, Lisa Wait, Vivienne Blanksby
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

This paper discusses an Australian project where online learning materials with problem-based learning designs are being developed in a form which facilitates their inclusion in digital repositories and learning management systems. To that end the products are being developed as properly formed SCORM compliant IMS content packages. This paper discusses issues associated with the design of online resources characterised by quality learning designs and their subsequent redevelopment as IMS content packages.
Feature Selection and Binarization for On-Line Signature Recognition
Authors: Emanuele Maiorana, Patrizio Campisi, Alessandro Neri
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

The representation of a biometric trait through a set of parametric features is commonly employed in many biometric authentication systems. In order to avoid any loss of useful information, large sets of features have been defined for biometric characteristics such as signature, gait or face. However, the proposed sets often contain features which are irrelevant, correlated with other features, or even unreliable. In this paper we propose two different approaches for the selection of those features which guarantee the best recognition performances. Moreover, we also face the problem of the binary representation of the selected features. Specifically, an algorithm which selects the minimum number of bits which should be assigned to a given feature, in order to not affect the recognition performances, is here proposed. The effectiveness of the proposed approaches is tested considering a watermarking based on-line signature authentication system, and employing the public MCYT on-line signature corpus as experimental database.
Domain-based autoconfiguration framework for large-scale MANETs
Authors: Longjiang Li, Yunze Cai, Xiaoming Xu
Venue: Wireless Communications Mobile Computing (2009)

IP autoconfiguration of the mobile node addresses is important in the practical usage of most mobile ad hoc networks (MANETs). This paper proposes domain-based autoconfiguration framework (DACF), a novel approach for the efficient address autoconfiguration of MANETs. To construct a hierarchy of addresses, this framework defines a loose domain structure where nodes in the same domain may roam to different locations after they are configured. This framework uses the passive Duplicate Address Detection(PDAD) but the proposed domain structure is able to reduce the initial conflict probability and accelerate the conflict resolution significantly. To evaluate the correctness and efficiency of the proposed framework, we also present an exemplified full-functioned implementation of the proposed framework. Through the detailed analysis and simulation, we believe the proposed scheme provides a promising autoconfiguration framework for large-scale MANETs. Copyright &copy; 2008 John Wiley & Sons, Ltd.
A Topical Bibliography of Computer (-aided) Translation
Authors: Chan Sin-wai
Venue:  (2007)

The rapid advances in information technology has elevated the role of computer (-aided) translation in translation studies and practice in recent decades. This has resulted in numerous research and publications on the topic, and thus indicates the growing interest in computer (-aided) translation. This topical bibliography is an attempt to provide much needed information on the literature in the field.Main features: More than 7,000 entries of works in English or Chinese, covering a period of 58 years. Entries organized into 39 topics/subtopics to give great convenience to readers to examine previous works in particular topics. A diverse range of sources, e.g. journals, conference papers, books, software reviews, etc. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Handling missing values and censored data in PCA of pharmacological matrices
Authors: Jan Ramon, Fabrizio Costa
Venue: Proceedings of the KDD-09 Workshop on Statistical and Relational Learning in Bioinformatics (2009)

Experimental results often present a substantial fraction of missing and censored values. Here we propose a strategy to perform principal component analysis under this specific incomplete information hypothesis. This allows the reconstruction of the missing information in a way consistent with the experimental observations.
Pre-processing of low-field brain MRI
Authors: N. F. Ishak, R. Logeswaran, W. H. Tan
Venue: Proceedings of the 7th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics (2008)

Low-field Magnetic Resonance Imaging (MRI) is vital in sensitive surgeries to allow real-time imaging in the operation theatre. A major concern in low-field MR images is the poor quality images and low signal-to-noise ratio (SNR) compared to those from conventional MRI scanners. For any successful application to be developed using such images, the image quality has to be improved. In this paper, pre-processing steps are applied to low-field MR brain images. Conceptually, histogram-based analysis shows that most of the low-field MR images consist of three peaks, where the first and second peaks summarizes the background and artifacts of the image, respectively, while the third peak is the region-of-interest (ROI). This paper gives some useful insights of steps that could be taken prior to brain segmentation. Promising results are reported.