ppxscal/embedding_network huggingface dataset:
Features extraction for speech emotion
Authors: Norhaslinda Kamaruddin, Abdul Wahab
Venue: Journal of Computational Methods in Sciences and Engineering (2009)

In this paper the speech emotion verification using two most popular methods in speech processing and analysis based on the Mel-Frequency Cepstral Coefficient (MFCC) and the Gaussian Mixture Model (GMM) were proposed and analyzed. In both cases, features for the speech emotion were extracted using the Short Time Fourier Transform (STFT) and Short Time Histogram (STH) for MFCC and GMM respectively. The performance of the speech emotion verification is measured based on three neural network (NN) and fuzzy neural network (FNN) architectures; namely: Multi Layer Perceptron (MLP), Adaptive Neuro Fuzzy Inference System (ANFIS) and Generic Self-organizing Fuzzy Neural Network (GenSoFNN). Results obtained from the experiments using real audio clips from movies and television sitcoms show the potential of using the proposed features extraction methods for real time application due to its reasonable accuracy and fast training time. This may lead us to the practical usage if the emotion verifier can be embedded in real time applications especially for personal digital assistance (PDA) or smart-phones.
Discovering implicit intention-level knowledge from natural-language texts
Authors: John Atkinson, Anita Ferreira, Elvis Aravena
Venue: Knowledge-Based Systems (2009)

In this paper, we propose a new approach to automatic discovery of implicit rhetorical information from texts based on evolutionary computation methods. In order to guide the search for rhetorical connections from natural-language texts, the model uses previously obtained training information which involves semantic and structural criteria. The main features of the model and new designed operators and evaluation functions are discussed, and the different experiments assessing the robustness and accuracy of the approach are described. Experimental results show the promise of evolutionary methods for rhetorical role discovery.
A Metric-Based Multi-Agent System for Software Project Management
Authors: Ching-seh Wu, Wei-chun Chang, Ishwar K. Sethi
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Software Project Management (SPM) is one of the primary factors to software success or failure. Software projects often fail because the mangers do not know true project status. Software project planning can be one of the most critical activities in the SPM process. Without a realistic and objective software project plan, the software development process cannot be managed in an effective way. This paper presents a metric-based multi-agent system, Software Project Planning Associate (SPPA), to assist managers in understanding and visualizing SPM process defined in a software project plan. SPPA consists of Intelligent Agents developed in the Java programming language and JESS (Java Expert System Shell) to assist a software project manager in objectively initializing a software project plan, refining/improving a plan, organizing, staffing, scheduling, measuring, visualizing, controlling, tracking, predicting, and data collecting. The resources, tasks, schedules, and milestones of the software project are described in a generic metric-based software project plan. As software development process evolves, metrics are unobtrusively gathered and compliance to the plan is reported by intelligent agents. Software process effectiveness predictions are made and recommendations are dynamically reported by multi intelligent agents suggesting the software development that should be executed to best comply with the software project plan.
Engineering Web Applications, 1st edition
Authors: Sven Casteleyn, Florian Daniel, Peter Dolog, Maristella Matera
Venue: Data-Centric Systems And Applications (2009)

Nowadays, Web applications are almost omnipresent. The Web has become a platform not only for information delivery, but also for eCommerce systems, social networks, mobile services, and distributed learning environments. Engineering Web applications involves many intrinsic challenges due to their distributed nature, content orientation, and the requirement to make them available to a wide spectrum of users who are unknown in advance. The authors discuss these challenges in the context of well-established engineering processes, covering the whole product lifecycle from requirements engineering through design and implementation to deployment and maintenance. They stress the importance of models in Web application development, and they compare well-known Web-specific development processes like WebML, WSDM and OOHDM to traditional software development approaches like the waterfall model and the spiral model. Important problem areas inherent to the Web, like localization, personalization, accessibility, and usage analysis, are dealt with in detail, and a final chapter provides both a description of and an outlook on recent Semantic Web and Web 2.0 developments. Overall, their book delivers a comprehensive presentation of the state-of-the-art in Web application development and thus forms an ideal basis for academic or industrial courses in this or related areas. It is equally suitable for self-study by researchers or advanced professionals who require an overview on how to use up-to-date Web technologies.
A Robust Remote User Authentication Scheme Using Smart Card
Authors: Bae-Ling Chen, Wen-Chung Kuo, Lih-Chyau Wuu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

In 2008, Yoon et al. [25] presented three kinds of security attacks (YLY attacks for short) of a user authentication and key agreement scheme using smart cards in different scenarios. The YLY attacks are: perfect forward secrecy, the guessing attack, and the Denning-Sacco attack. The main goal of this paper is to propose a robust remote user authentication scheme using smart card that could not only withstand the traditional attacks, such as, the man-in-the-middle attack, the replay attack, the forgery attacks, the stolen smart card attack, and the denial of service attack, but also overcomes YLY attacks.
Mobile Communication Systems and Security
Authors: Man Young Rhee
Venue:  (2009)

Mobile Communication Systems and Security arms readers with a thorough understanding of all major cellular air-interface technologies and their security layer techniques. Rhee covers the technological development of wireless mobile communications in compliance with each iterative generation up to 3G systems and beyond, with an emphasis on wireless security aspects. By progressing in a systematic manner, presenting the theory and practice of wireless mobile technologies along with various security problems, readers will gain an intimate sense of how mobile systems operate and how to address complex security issues. Written by a top expert in information security Details each generation of cellular technology Gives a clear understanding of wireless security protocol analysis Offers complete coverage of various protocols and specifications in 3GPPs Forecasts new features and promising technologies Presents numerical examples in each chapter for easier understanding Provides source code that can be used for individual practice The book is ideal for advanced undergraduate and postgraduate students enrolled in courses such as Wireless Networking, Wireless Security, or Mobile Radio Communications. Practicing engineers in industry and research scientists can use the book as a reference to get reacquainted with mobile radio fundamentals or to gain deeper understanding of the security layer. Access the source code and lecture materials at the companion website: (www.wiley.com/go/rhee) 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
Linear complexity context-free parsing pipelines via chart constraints
Authors: Brian Roark, Kristy Hollingshead
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

In this paper, we extend methods from Roark and Hollingshead (2008) for reducing the worst-case complexity of a context-free parsing pipeline via hard constraints derived from finite-state tagging pre-processing. Methods from our previous paper achieved quadratic worst-case complexity. We prove here that alternate methods for choosing constraints can achieve either linear or O(Nlog2N) complexity. These worst-case bounds on processing are demonstrated to be achieved without reducing the parsing accuracy, in fact in some cases improving the accuracy. The new methods achieve observed performance comparable to the previously published quadratic complexity method. Finally, we demonstrate improved performance by combining complexity bounding methods with additional high precision constraints.
Product Unit Gene Model and Its Application in Vehicle Leaf-Spring Configuration Design
Authors: He Bin, Li Gangyan
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

One of the most important problems that must be solved in Product Configuration Design is how to effectively deal with the confliction between variability of individual customer requirement and high efficiency, accuracy and intelligence. Considering the feature of self organization, self adaptability, hereditariness and variability of product gene, product unit gene model is built by analogue of the structure of human gene, and the method of self-organizing configuration solving is presented based on product unit gene synthesis. Meantime, some rules of gene synthesis are designed and the process of self-organizing configuration solving is described. At the end of the paper, the feasibility of the method is testified by an example of vehicle leaf-spring. Accordingly, some suggestions of improvement and further research are given in the result.
Agent-Based Holonic Dynamic and Optimal Manufacturing System for Distributed Manufacturing
Authors: Linghong Lai
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

In the inter-enterprise cooperative manufacturing mode, meeting the dynamic demand of manufacturing information management, comprehensively utilizing and fully communicating, based on holonic theory, this paper describes a practical system framework for holonic design and operations in a distributed manufacturing environment using multi-agent system. Based on the negotiation mechanism of multi-agent, the optimizing of dynamic holonic manufacturing systems is study. A dynamic holonic manufacturing systems implementation is developed to demonstrate and validate the proposed idea. It shows that the proposed system can satisfy the agility, distribution, and robustness requirements.
The Complexity of Positive First-order Logic without Equality
Authors: Florent Madelaine, Barnaby Martin
Venue: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science (2009)

We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of the non-uniform quantified constraint satisfaction problem QCSP(B). We introduce surjective hyper-endomorphisms and use them in proving a Galois connection that characterises definability in positive equality-free FO. Through an algebraic method, we derive a complete complexity classification for our problems as B ranges over structures of size at most three. Specifically, each problem is either in Logspace, is NP-complete, is coNP-complete or is Pspace-complete.
Quality Control Model for Complex Manufacturing System Based on Danger Theory of Biological Immune System
Authors: Genbao Zhang, Haifeng Zeng, Guoqiang Wang, Gengbao Huang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

In this article we introduce a new quality control model for complex manufacturing system which has the potential to enable enterprise to protect itself from harmful non-conformance in a way like biological system. The model is based on danger theory. In the proposed quality control model, a co-stimulation is necessary to confirm the danger implied by the presence of a detected quality variation, anomalies that are not confirmed by signal 2, or harm were not considered as faults. With the multiple confirmation mechanism and dynamic detector update, the range of quality defects space is reduced. High levels of quality defects detection is made possible at reasonable computational cost. The architectures and behavior of the proposed quality model resembles the structure and behavior of biological immune system, which may improve the reliability and efficiency of the manufacturing system, especially for the highly dynamic complex manufacturing system.
Welcome to the Family
Authors: David Alan Grier
Venue: Computer (2009)

Becoming a professional means joining the family, with all the rights, responsibilities, and discipline that come with membership.
Energy-Efficient Implementation of ECDH Key Exchange for Wireless Sensor Networks
Authors: Christian Lederer, Roland Mader, Manuel Koschuch, Johann Großschädl, Alexander Szekely, Stefan Tillich
Venue: Proceedings of the 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks (2009)

Wireless Sensor Networks (WSNs) are playing a vital role in an ever-growing number of applications ranging from environmental surveillance over medical monitoring to home automation. Since WSNs are often deployed in unattended or even hostile environments, they can be subject to various malicious attacks, including the manipulation and capture of nodes. The establishment of a shared secret key between two or more individual nodes is one of the most important security services needed to guarantee the proper functioning of a sensor network. Despite some recent advances in this field, the efficient implementation of cryptographic key establishment for WSNs remains a challenge due to the resource constraints of small sensor nodes such as the MICAz mote. In this paper we present a lightweight implementation of the elliptic curve Diffie-Hellman (ECDH) key exchange for ZigBee-compliant sensor nodes equipped with an ATmega128 processor running the TinyOS operating system. Our implementation uses a 192-bit prime field specified by the NIST as underlying algebraic structure and requires only 5.20 ·106 clock cycles to compute a scalar multiplication if the base point is fixed and known a priori. A scalar multiplication using a random base point takes about 12.33 ·106 cycles. Our results show that a full ECDH key exchange between two MICAz motes consumes an energy of 57.33 mJ (including radio communication), which is significantly better than most previously reported ECDH implementations on comparable platforms.
Ring Flushing for Reduced Overload in Spanning Tree Protocol Controlled Ethernet Networks
Authors: Dániel Horváth, Gábor Kapitány, Sándor Plósz, István Moldován, Csaba Lukovszki
Venue: Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop on The Internet of the Future (2009)

Flooding causes serious problems to the scalability of Ethernet networks. Recent proposals to overcome this problem, such as SEATTLE [5], usually require significant changes in different network layers, making the realistic chance of their deployment questionable. In this paper, we propose Ring Flushing, a practical method to reduce the burden of flooding during topology changes. The basic idea behind our approach is to locate stale forwarding information in an efficient way. Ring Flushing abolishes the broadcast-like spreading of topology change information thus shrinking the flushing domain. We implemented Ring Flushing in OMNeT++ simulation environment and evaluated its performance in different topologies and parameter settings. Our simulations show that the Ring Flushing has clear advantage over the approach of standard Rapid Spanning Tree Protocol (RSTP) in terms of throughput during network recovery. Furthermore, the Ring Flushing diminishes overall network overload during topology changes as the network size increases.
Coorporative Parking Negotiation and Guidance Based on Intelligent Agents
Authors: Wang Longfei, Chen Hong
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

In order to provide the drivers a better parking guidance service, a multi-agent approach for parking negotiation and guidance is proposed in this paper. Based on distributed control theory, a city is divided into a number of districts each of which is equipped with a Parking Information Service Center (PISC). A distributed Multi-phase method based on a two-layer traffic map is employed for parking routes navigation. Besides, a route negotiation algorithm is also proposed in this paper. The agents thus can work cooperatively to execute the parking routes guidance without the intervention of drivers and parks.
A Collaboration and Productiveness Analysis of the BPM Community
Authors: Hajo A. Reijers, Minseok Song, Heidi Romero, Umeshwar Dayal, Johann Eder, Jana Koehler
Venue: Proceedings of the 7th International Conference on Business Process Management (2009)

The main scientific event for academics working in the field of Business Process Management is the International BPM Conference. In this paper, social network analysis techniques are used to unveil the co-authorship networks that can be derived from the papers presented at this conference. Links between two researchers are established by their co-authorship of a paper at one of the conference editions throughout the years 2003-2008. Beyond the relations between individual authors, aggregated analyses are presented of the interactions between the institutes that the authors are affiliated with as well as their country of residence. Additionally, the output of individual authors is measured. All analyses are carried out for the individual conference years and at cumulative levels. In this way, this paper identifies the hotbeds of BPM research and maps the progressive collaboration patterns within the BPM community.
Estimating Bayes factors via thermodynamic integration and population MCMC
Authors: Ben Calderhead, Mark Girolami
Venue: Computational Statistics Data Analysis (2009)

A Bayesian approach to model comparison based on the integrated or marginal likelihood is considered, and applications to linear regression models and nonlinear ordinary differential equation (ODE) models are used as the setting in which to elucidate and further develop existing statistical methodology. The focus is on two methods of marginal likelihood estimation. First, a statistical failure of the widely employed Posterior Harmonic Mean estimator is highlighted. It is demonstrated that there is a systematic bias capable of significantly skewing Bayes factor estimates, which has not previously been highlighted in the literature. Second, a detailed study of the recently proposed Thermodynamic Integral estimator is presented, which characterises the error associated with its discrete form. An experimental study using analytically tractable linear regression models highlights substantial differences with recently published results regarding optimal discretisation. Finally, with the insights gained, it is demonstrated how Population MCMC and thermodynamic integration methods may be elegantly combined to estimate Bayes factors accurately enough to discriminate between nonlinear models based on systems of ODEs, which has important application in describing the behaviour of complex processes arising in a wide variety of research areas, such as Systems Biology, Computational Ecology and Chemical Engineering.
Use of High-Fidelity Simulation to Evaluate Driver Performance with Vehicle Automation Systems
Authors: Timothy Brown, Jane Moeckli, Dawn Marshall
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

Automation is an important tool for improving driver safety over the coming decades. Vehicle automation will tend to be implemented in stages with the intent of incrementally increasing the overall safety of driving through the reduction in crashes related to driver error. Driving simulators play a critical role in assessing the effectiveness of these new technologies. This paper discusses vehicle automation and provides several examples of the use of high fidelity simulators to evaluate new automation technologies in several different forms.
Large scale production of syntactic annotations to move forward
Authors: Patrick Paroubek, Anne Vilnat, Sylvain Loiseau, Olivier Hamon, Gil Francopoulo, Eric Villemonte de la Clergerie
Venue: Coling 2008: Proceedings of the workshop on Cross-Framework and Cross-Domain Parser Evaluation (2008)

This article presents the methodology of the PASSAGE project, aiming at syntactically annotating large corpora by composing annotations. It introduces the annotation format and the syntactic annotation specifications. It describes an important component of the methodolgy, namely an WEB-based evaluation service, deployed in the context of the first PASSAGE parser evaluation campaign.
Modeling and verification of real-time embedded systems with urgency
Authors: Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu
Venue: Journal of Systems and Software (2009)

Real-time embedded systems are often designed with different types of urgencies such as delayable or eager, that are modeled by several urgency variants of the timed automata model. However, most model checkers do not support such urgency semantics, except for the IF toolset that model checks timed automata with urgency against observers. This work proposes an Urgent Timed Automata (UTA) model with zone-based urgency semantics that gives the same model checking results as absolute urgency semantics of other existing urgency variants of the timed automata model, including timed automata with deadlines and timed automata with urgent transitions. A necessary and sufficient condition, called complete urgency, is formulated and proved for avoiding zone partitioning so that the system state graphs are simpler and model checking is faster. A novel zone capping method is proposed that is time-reactive, preserves complete urgency, satisfies all deadlines, and does not need zone partitioning. The proposed verification methods were implemented in the SGM CTL model checker and applied to real-time and embedded systems. Several experiments, comparing the state space sizes produced by SGM with that by the IF toolset, show that SGM produces much smaller state-spaces.
A study on similarity and relatedness using distributional and WordNet-based approaches
Authors: Eneko Agirre, Enrique Alfonseca, Keith Hall, Jana Kravalova, Marius Paşca, Aitor Soroa
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

This paper presents and compares WordNet-based and distributional similarity approaches. The strengths and weaknesses of each approach regarding similarity and relatedness tasks are discussed, and a combination is presented. Each of our methods independently provide the best results in their class on the RG and WordSim353 datasets, and a supervised combination of them yields the best published results on all datasets. Finally, we pioneer cross-lingual similarity, showing that our methods are easily adapted for a cross-lingual task with minor losses.