ppxscal/embedding_network huggingface dataset:
Priors in Bayesian learning of phonological rules
Authors: Sharon Goldwater, Mark Johnson
Venue: Proceedings of the 7th Meeting of the ACL Special Interest Group in Computational Phonology: Current Themes in Computational Phonology and Morphology (2004)

This paper describes a Bayesian procedure for unsupervised learning of phonological rules from an unlabeled corpus of training data. Like Goldsmith's Linguistica program (Goldsmith, 2004b), whose output is taken as the starting point of this procedure, our learner returns a grammar that consists of a set of signatures, each of which consists of a set of stems and a set of suffixes. Our grammars differ from Linguistica's in that they also contain a set of phonological rules, specifically insertion, deletion and substitution rules, which permit our grammars to collapse far more words into a signature than Linguistica can. Interestingly, the choice of Bayesian prior turns out to be crucial for obtaining a learner that makes linguistically appropriate generalizations through a range of different sized training corpora.
Verb Processing in Spoken Commands for Household Security and Appliances
Authors: Ioanna Malagardi, Christina Alexandris
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

The present paper concerns the handling of verbs in the Speech Recognition Module of an HCI system for the remote control of household security and the operation of household appliances. The basic language used is Modern Greek, but the system's design includes the basis of a multilingual extension for the use of the system by native-speakers of other languages.The human- computer communication must preferable to be accomplished in natural language. Some methods of Artificial Intelligence can contribute to the solving of the natural language processing problems. The target for a multilingual extension of the system has imposed the restrictions that commands are kept simple and referring expressions such as deictic noun phrases and pronouns as well as anaphoric expressions are avoided. The interaction with the system is strictly based on dialogs with restricted options in order to increase the feasibility of the speech interface.
Slope Interpolation Tracing Channel Estimation Method for MIMO-OFDMA Systems
Authors: Xin Lu, Guangming Lin, Jun Xu
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In this paper, the channel estimation methods to resolve the error floor for SUI-5 channel are investigated. Since the pilot allocation is solid with the FUSC model,only we can do is to incorporate two OFDM symbols to estimation the channel response, and it can improve the channel estimation performance, but it can’t cancel the error floor exhaustively. So we combine the preamble and pilot carrier to resolve the problem. Here we introduce slope interpolation tracing algorithm that combines preamble and pilot well for consult. Simulation result shows that the proposed algorithm and preamble only scheme can decrease the error floor for SUI_5 channel drastically when the coherent bandwidth of channel is narrow, however they can’t trace the fast Rayleigh fading channel. We also conclude that pilot only scheme exits error floor when the coherent bandwidth of channel is narrow though with better performance for fast Rayleigh fading channels.
A Cryptographic Algorithm Based on a Pseudorandom Number Generator
Authors: Dominic Bucerzan
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

The paper proposes to the information security specialists, a new algorithm based on a synchronous stream cipher HENKOS, built around a performing pseudorandom number generator. The paper describes the main parts of the algorithm, analyze the quality of the implementation, measurethe performance and present the statistical tests results for the pseudorandom number generator .
Dimensions of Case-Based Reasoner Quality Management
Authors: Annett Bierer, Marcus Hofmann
Venue: Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development (2009)

CBR systems are increasingly applied in practice. There, the system's ability to provide users with the information they need depends on the quality of the system's knowledge base and its long-term assurance and continuous improvement. Currently, in CBR research quality is rather an abstract term and maintenance takes a center stage. But in practice, there is a need for a broader and more detailed focus on quality aspects. Hence, the paper extends the maintenance view to a quality-oriented view. A framework is presented containing relevant aspects of a CBR system's quality management (CBRQM). It will be shown that maintenance approaches are not independent from a CBRQM.
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project
Authors: Jan Jürjens
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

An important missing link in the construction of secure systems is finding a practical way to establish a correspondence between a software specification and its implementation. We address this problem for the case of crypto-based Java implementations (such as crypto protocols) with an approach using automated theorem provers for first-order logic, by linking the implementation to a specification model. In this paper, we present details on an application of this approach to the open-source Java implementation Jessie of the SSL protocol. We also shortly comment on how these results can be transferred to the standard Java Secure Sockets Extension (JSSE) library that was recently open-sourced by Sun.
Joint inference in information extraction
Authors: Hoifung Poon, Pedro Domingos
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

The goal of information extraction is to extract database records from text or semi-structured sources. Traditionally, information extraction proceeds by first segmenting each candidate record separately, and then merging records that refer to the same entities. While computationally efficient, this approach is suboptimal, because it ignores the fact that segmenting one candidate record can help to segment similar ones. For example, resolving a well-segmented field with a less-clear one can disambiguate the latter's boundaries. In this paper we propose a joint approach to information extraction, where segmentation of all records and entity resolution are performed together in a single integrated inference process. While a number of previous authors have taken steps in this direction (eg., Pasula et al. (2003), Wellner et al. (2004)), to our knowledge this is the first fully joint approach. In experiments on the CiteSeer and Cora citation matching datasets, joint inference improved accuracy, and our approach outperformed previous ones. Further, by using Markov logic and the existing algorithms for it, our solution consisted mainly of writing the appropriate logical formulas, and required much less engineering than previous ones.
An internet-based wearable watch-over system for elderly and disabled utilizing EMG and accelerometer
Authors: M. Kishimoto, T. Yoshida, T. Hayasaka, D. Mori, Y. Imai, N. Matsuki, T. Ishikawa, T. Yamaguchi
Venue: Technology and Health Care (2009)

An effective way for preventing injuries and diseases among the elderly is to monitor their daily lives. In this regard, we propose the use of a "Hyper Hospital Network", which is an information support system for elderly people and patients. In the current study, we developed a wearable system for monitoring electromyography (EMG) and acceleration using the Hyper Hospital Network plan. The current system is an upgraded version of our previous system for gait analysis (Yoshida et al. [13], Telemedicine and e-Health 13 703-714), and lets us monitor decreases in exercise and the presence of a hemiplegic gait more accurately. To clarify the capabilities and reliability of the system, we performed three experimental evaluations: one to verify the performance of the wearable system, a second to detect a hemiplegic gait, and a third to monitor EMG and accelerations simultaneously. Our system successfully detected a lack of exercise by monitoring the iEMG in healthy volunteers. Moreover, by using EMG and acceleration signals simultaneously, the reliability of the Hampering Index (HI) for detecting hemiplegia walking was improved significantly. The present study provides useful knowledge for the development of a wearable computer designed to monitor the physical conditions of older persons and patients.
Surface Triangulation and the Downstream Effects on Flattening
Authors: S. S. Parwana, R. J. Cripps
Venue: Proceedings of the 13th IMA International Conference on Mathematics of Surfaces XIII (2009)

Many applications within computer aided engineering require the support of a triangulation to gain geometrical and structural insight into the original surface being approximated. Therefore, downstream applications such as computer numerically controlled (CNC) machine path generation, finite element analysis (FEA) and flattening are triangulation dependant processes. However, despite the importance of triangulation in these applications, very little work has been focused on the downstream effects of triangulation. This paper investigates these effects on the application of surface flattening and demonstrates how subtle, but important changes in the triangulation can have a major impact on the flattening results.
Agent-oriented privacy-based information brokering architecture for healthcare environments
Authors: Abdulmutalib Masaud-Wahaishi, Hamada Ghenniwa
Venue: International Journal of Telemedicine and Applications (2009)

Healthcare industry is facing a major reform at all levels--locally, regionally, nationally, and internationally. Healthcare services and systems become very complex and comprise of a vast number of components (software systems, doctors, patients, etc.) that are characterized by shared, distributed and heterogeneous information sources with varieties of clinical and other settings. The challenge now faced with decision making, and management of care is to operate effectively in order to meet the information needs of healthcare personnel. Currently, researchers, developers, and systems engineers are working toward achieving better efficiency and quality of service in various sectors of healthcare, such as hospital management, patient care, and treatment. This paper presents a novel information brokering architecture that supports privacy-based information gathering in healthcare. Architecturally, the brokering is viewed as a layer of services where a brokering service is modeled as an agent with a specific architecture and interaction protocol that are appropriate to serve various requests. Within the context of brokering, we model privacy in terms of the entities ability to hide or reveal information related to its identities, requests, and/or capabilities. A prototype of the proposed architecture has been implemented to support information-gathering capabilities in healthcare environments using FIPA-complaint platform JADE.
Limited-domain speech-to-speech translation between English and Pashto
Authors: Kristin Precoda, Horacio Franco, Ascander Dost, Michael Frandsen, John Fry, Andreas Kathol, Colleen Richey, Susanne Riehemann, Dimitra Vergyri, Jing Zheng, Christopher Culy
Venue: Demonstration Papers at HLT-NAACL 2004 on XX (2004)

This paper describes a prototype system for near-real-time spontaneous, bidirectional translation between spoken English and Pashto, a language presenting many technological challenges because of its lack of resources, including both data and expert knowledge. Development of the prototype is ongoing, and we propose to demonstrate a fully functional version which shows the basic capabilities, though not yet their final depth and breadth.
Finite sample error bound for Parzen windows
Authors: Peng Zhang, Jing Peng, Norbert Riedel
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

Parzen Windows as a nonparametric method has been applied to a variety of density estimation as well as classification problems. Similar to nearest neighbor methods. Parzen Windows does not involve learning. While it converges to true but unknown probability densities in the asymptotic limit, there is a lack of theoretical analysis on its performance with finite samples. In this paper we establish a finite sample error bound for Parzen Windows. We first show that Parzen Windows is an approximation to regularized least squares (RLS) methods that have been well studied in statistical learning theory. We then derive the finite sample error bound for Parzen Windows, and discuss the properties of the error bound and its relationship to the error bound for RLS. This analysis provides interesting insight to Parzen Windows as well as the nearest neighbor method from the point of view of learning theory. Finally, we provide empirical results on the performance of Parzen Windows and other methods such as nearest neighbors, RLS and SVMs on a number of real data sets. These results corroborate well our theoretical analysis.
Durability Analysis of Wagon Side Frame Based on the PFMA
Authors: Wei Li, Qiang Li, Ping Wang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Based on the probabilistic fracture mechanics approach, durability test on the fine details of wagon side frame is simulated, the structural damage degree is evaluated from the four aspects of the survival probability, the stress amplitude, the crack formation time and economic repair limit size according to general EIFS distribution, and its economic life is predicted by combining with the stress spectrum measured in practice. The result shows that the EIFS follows the Weibull distribution and passes the K-S test, the structural damage degree can be quantitatively measured on the basis of the probabilistic model of crack exceedance, the economic life predicted tends to increase with the increase of crack exceedance probability, the rationality and validity of the analysis method is proved.
Comparison and Analysis of Algorithms for Association Rules
Authors: He Lijun, Li Linghua, Li Xiaoniu, Wang Degao
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Several algorithms for association rules are discussed which are AIS algorithm, SETM algorithm, Apriori algorithm etc. Their strengths and weaknesses are investigated. Their performance are compared and analyzed. Among all the algorithms, the most inefficient one is SETM algorithm but it is the most convenient one to combine DBMS.
Using the Social Web to Supplement Classical Learning
Authors: Stefan Trausan-Matu, Vlad Posea, Traian Rebedea, Costin Chiru
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

The paper describes a complex e-learning experiment that has involved over 700 students that attended the Human-Computer Interaction course at the "Politehnica" University of Bucharest during the last 4 years. The experiment consisted in using social web technologies like blogs and chat conferences to engage students in collaborative learning. The paper presents the learning scenario, the problems encountered and the tools developed for solving these problems and assisting tutors in evaluating the activity of the students. The results of the experiment and of using the blog and chat analysis tools are also covered. Moreover, we show the benefits of using such a scenario for the learning community formed by the students that attended this course in order to supplement the classical teaching and learning paradigm.
Application of Domain Ontology-Based on Semantic Web Technology
Authors: ChunNian Liu, JunYing He
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Domain ontology and semantic web services are two technologies with great potential. Striking new applications can be developed by using the tools and techniques they provide. In this paper, the necessity for integrating these technologies and the potential benefits of their combination are analyzed. Based on this study, we present a new web intelligence analysis system, an ontology-based framework for seamlessly integrating intelligence analysis and semantic web services. The basics of the framework are detailed and a proof-of-concept implementation is described.
Research on Family Business Management in China
Authors: Xiang Lin
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

As a traditional type of enterprise form, family business is playing a significant role in economic development at present, the research on which is of great importance. This paper reviews the main advances in the research of family business in China, with emphasis on the definition, management structure, evolution path of family business. At last, this paper puts forward some problems that scholars are facing and proposes future work that would enable the research of family business to be rational and practical.
On the Decision to Take a Pitch
Authors: J. Eric Bickel
Venue: Decision Analysis (2009)

Baseball is a highly strategic game, with decisions being made almost continuously. In this paper, we analyze the decision to have the batter take a pitch, which means that he does not swing at the pitch under any circumstances---even if it is easily hittable. Why would a batter do this? Using decision-theoretic reasoning, we determine under what circumstances such a decision is good. We find that in some cases, taking pitches deterministically dominates not taking.
The Research on Axial Vibration of Drill String with Delphi
Authors: Han Chunjie, Yan Tie
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Drill string vibration is a very prevalent phenomena, it does great effect to drilling engineering, drill string resonance is the main reason that causes the drill string fatigue. In this paper the drill string is object that is studied, the axial vibration is analyzed for the total system of drill string. The model of axial vibration is established, the rule about axial vibration of drill string is obtained, the nature frequency of axial vibration is found out by Delphi. Then, the rule can be used in the oil field for the drilling worker, the rule can provide reliable theory for decreasing drill fatigue and optimizing drilling parameter.
Minimal Locked Trees
Authors: Brad Ballinger, David Charlton, Erik D. Demaine, Martin L. Demaine, John Iacono, Ching-Hao Liu, Sheung-Hung Poon
Venue: Proceedings of the 11th International Symposium on Algorithms and Data Structures (2009)

Locked tree linkages have been known to exist in the plane since 1998, but it is still open whether they have a polynomial-time characterization. This paper examines the properties needed for planar trees to lock, with a focus on finding the smallest locked trees according to different measures of complexity, and suggests some new avenues of research for the problem of algorithmic characterization. First we present a locked linear tree with only eight edges. In contrast, the smallest previous locked tree has 15 edges. We further show minimality by proving that every locked linear tree has at least eight edges. We also show that a six-edge tree can interlock with a four-edge chain, which is the first locking result for individually unlocked trees. Next we present several new examples of locked trees with varying minimality results. Finally, we provide counterexamples to two conjectures of [12], [13] by showing the existence of two new types of locked tree: a locked orthogonal tree (all edges horizontal and vertical) and a locked equilateral tree (all edges unit length).
Research Summary: Intelligent Natural Language Processing Techniques and Tools
Authors: Alessio Paolucci
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

My research path started with my master thesis (supervisor Prof. Stefania Costantini) about a neurobiologically-inspired proposal in the field of natural language processing. In more detail, we proposed the "Semantic Enhanced DCGs" (for short SE-DCGs) extension to the well-known DCG's to allow for parallel syntactic and semantic analysis, and generate semantically-based description of the sentence at hand. The analysis carried out through SE-DCG's was called "syntactic-semantic fully informed analysis", and it was designed to be as close as possible (at least in principle) to the results in the context of neuroscience that I had revised and studied. As proof-of-concept, I implemented the prototype of semantic search engine, the Mnemosine system. Mnemosine is able to interact with a user in natural language and to provide contextual answer at different levels of detail. Mnemosine has been applied to a practical case-study, i.e., to the WikiPedia Web pages. A brief overview of this work was presented during CICL 08 [1]. 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
Service Oriented Decentralized Access Control for Military Systems in Net-Centric Environment
Authors: Han Ruo-Fei, Wang Hou-Xiang, Xiao Qian, Jing Xiao-Pei, Li Hui
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Department of Defense (DoD) of USA has proposed new architecture framework (DoDAF v1.5) recently to guide the development of new military systems. Net-Centric Environment (NCE) and Service Oriented Architecture are highlighted in it. In order to ensure the security of the future military systems, a service oriented decentralized access control (SODAC) model is proposed. Detailed construction and formal definition are given. With the model, authentication will be processed at the entity end to implement decentralized control. At last, related issues, analysis and implementation of the model are discussed.
Security Strategy Analysis for Critical Information Infrastructures
Authors: Jose Manuel Torres, Finn Olav Sveen, Jose Maria Sarriegi
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

How do security departments relate to and manage information security controls in critical infrastructures (CI)? Our experience is that information security is usually seen as a technical problem with technical solutions. Researchers agree that there are more than just technical vulnerabilities. Vulnerabilities in processes and human fallibility creates a need for Formal and Informal controls in addition to Technical controls. These three controls are not independent, rather they are interdependent. They vary widely in implementation times and resource needs, making building security resources a challenging problem. We present a System Dynamics model which shows how security controls are interconnected and interdependent. The model is intended to aid security managers in CI to better understand information security management strategy, particularly the complexities involved in managing a socio-technical system where human, organisational and technical factors interact.