ppxscal/embedding_network huggingface dataset:
Multi-target Tracking Algorithm Based on Rough and Precision Association Mixing FCM in WSN
Authors: Mei Liu, Daoping Huang, Huanping Gao
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Aiming at the target missing and the target confusion in the multi-target tracking when the targets approach or cross each other in wireless sensor networks, a rough and precision association mixing FCM algorithm is proposed. The key idea is to implement the multi-target precise tracking by decomposing multi-sensor data association problem to single sensor problem and simplifying the multitarget tracking to single-target tracking. First, some interference of the observed data from the sensors was eliminated by rough correlation based on the threshold algorithm. Then the remaining data were fuzzy clustered through respectively establish FCM algorithm in each sensor observation space. Every clustered data were integrated into one datum by optimal linear fusion and was used to forecasteach target state by Kalman filter. The simulation results show that the correct association rate of track increases to 98.3％ from 86.7% compare with traditional method. The proposed algorithm can also effectively avoid multi-target tracking confusion and greatly reduce the complexity and computation of multi-target tracking in WSN.
The Stability Analysis of Hydrodynamic Journal Bearings Allowing for Manufacturing Tolerances. Part I: Effect Analysis of Manufacturing Tolerances by Taguchi Method
Authors: Wubin Xu, Peter J. Ogrodnik, Mike J. Goodwin, Gordon A. Bancroft
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The manufacturing tolerances of the structural parameters of the hydrodynamic journal bearing system are inevitable. This paper presents a theoretical analysis of the effects of the manufacturing tolerances on the stability of the system. The effects of the dynamic viscosity variation caused by the temperature change, the manufacturing tolerances of the bearing length and the diameters of both the bearing and the journal are investigated base on Taguchi method. It shows that the different parameter tolerances influence the system stability in different ways, the tolerance of the bearing bush diameter, the tolerance of the journal diameter and their interaction influence the system stability most.
Concurrent Abstract State Machines and + CAL Programs
Authors: Michael Altenhofen, Egon Börger
Venue: Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (2009)

We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link + CAL programs to concurrent control state ASMs with turbo ASM submachines.
ArrayQ: Querying Microarray Expressions for Relevant Pathways
Authors: Shahriyar Hossain, Cherie Southwood, Hasan Jamil, Alexander Gow
Venue: Proceedings of the 2009 Ninth IEEE International Conference on Bioinformatics and Bioengineering (2009)

One of the principal features of DNA microarrays is the volume of quantitative data that they generate. As a result, the major challenges in the field are how to handle, interpret and make use of these data. Currently, there are a large number of tools available which perform statistical analysis for constructing a significant gene set from the microarray data. There are others who given a set of genes, figure out the pathways, protein-protein interaction and other biological process that are represented by these genes. In this paper, we describe a comprehensive web-based tool for analyzing DNA microarray data. Our goal is to bring the database and statistical aspect of constructing a significant gene set into a single platform. We also propose a novel method for representing the global picture of interaction between pathways.
Update Summarization Based on Latent Semantic Analysis
Authors: Josef Steinberger, Karel Ježek
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

This paper deals with our recent research in text summarization. We went from single-document summarization through multi-document summarization to update summarization. We describe the development of our summarizer which is based on latent semantic analysis (LSA) and propose the update summarization component which determines the redundancy and novelty of each topic discovered by LSA. The final part of this paper presents the results of our participation in the experiment of Text Analysis Conference 2008.
Replay Attack of Dynamic Rights within an Authorised Domain
Authors: Imad M. Abbadi, Muntaha Alawneh
Venue: Proceedings of the 2009 Third International Conference on Emerging Security Information, Systems and Technologies (2009)

Digital Rights Management (DRM), unlike access control techniques, associates content with a rights object specifying content usage rules. The rights object is always bound with content and enforced wherever content is transferred and used. Such a rights object, in many cases, contains dynamic rights, which change with usage and time, e.g. play period, print count, and expire after a specific period. Most existing DRM techniques do not address the replay attack problem for dynamic rights. This problem has the greatest impact when the DRM mechanisms get integrated with authorised domains. In this paper we mainly focus on the replay attack for dynamic rights when it is transferred between member devices in an authorised domain, and when it is restored from an old backup enabling the reuse of an expired license. We also propose a novel mechanism for controlling and managing the consumption of dynamic rights between member devices in a domain. This is to provide a controlled environment for a user to transfer dynamic rights back and forth between domain devices in order to use content on any device member in the domain at a chosen time.
Error prevention in online forms: Use color instead of asterisks to mark required-fields
Authors: Stefan L. Pauwels, Christian Hübscher, Stefan Leuthold, Javier A. Bargas-Avila, Klaus Opwis
Venue: Interacting with Computers (2009)

In this study, a simple but important user interface design choice is examined: when marking required-fields in online forms, should GUI designers stick with the often used asterisk that many form design guidelines cite as the de-facto web standard, or should they choose a colored background as a new design solution to visually signal which input fields are required? An experiment with 24 participants was conducted to test the hypotheses that efficiency, effectiveness and satisfaction ratings of colored required-fields exceed those of asterisk-marked required-fields. Results indicate that colored required field marking leads to fewer errors, faster form fill-in in and higher user satisfaction.
Spatial Analysis of Regional Sustainable Development Based on Geographic Information System and Relative Carrying Capacity of Resources
Authors: Qi Wang, Haihu Ma, Qiang Ke, Chuanhua Wang, Xiaodan Wang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Relative carrying capacity of resources is a method for measuring sustainable development through carrying capacity. Case studies of eleven cities in Zhejiang (Hangzhou, Ningbo, Wenzhou, Jiaxing, Huzhou, Shaoxing, Jinhua, Quzhou, Zhoushan, Taizhou and Lishui) illustrated regional sustainable development approach. In this study, in order to provide insight into spatial analysis of region sustainable development, we calculated the relative carrying capacity of land resources, relative carrying capacity of economy resources and synthetical carrying capacity of resources in different cities in Zhejiang, and geographic information system was carried out. The results showed that the cities but Hangzhou and Ningbo were ecologically unsustainable, and relative carrying capacity of land resources in northern and eastern Zhejiang was larger than those in southern and western Zhejiang. This study demonstrated that geographic information system and relative carrying capacity of resources are effective for assessment of region sustainable development, and provide policy proposals for decision-making.
Simplified Assessment of Embedded Crack in Thin-Wall Pressure Vessel
Authors: Wei Tang, Jian Sun
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Combination and simplification are often adopted as the solution to the problem of there are lots of the Crack group, Pore group and Inclusion group in the components especially in welded joints. In this study, simplifications were simulated with CAE software. The comparison results dedicates that the Stress Intensity Factors (SIF) obtained after simplification were greater than the primary. Therefore, a greater safety margin of the component would be attained if the simplified results were used in the assessment.
A Field Programmable Analogue ASIC towards Low Power Processing-on-Node BSNs
Authors: L. Wang, J. Y. Zhang, J. Huang, L. K. Chen, L. Yu, Y. T. Zhang, G. Z. Yang
Venue: Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks (2009)

Modern microelectronics technologies play important roles in body sensor networks (BSN). In this paper a field programmable analogue ASIC working on the discrete-time mode for biomedical signal filtering was presented. The ASIC we have developed incorporates a switched-capacitor based analogue module, a current source, a voltage source, an oscillator, and a double-phase non-overlapping clock source offering different clock rates. By alternating the circuit topologies and the clock frequencies for the on-chip switched-capacitors the ASIC could be dynamically configured as a high-pass filter or a low-pass filter with adjustable cut-off frequencies and pass-band gains. The ASIC was fabricated using the SMIC 0.18um CMOS technology with a die size of 1.0mm×1.2mm and the power consumption of approximately 1.1 mW. The ASIC was fully tested and the results indicated that the ASIC performed as desired. In the future an autonomous Field Programmable Analogue Array ASIC will be developed towards intelligent processing-on-node BSNs.
On the Security of Identity Based Ring Signcryption Schemes
Authors: S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan
Venue: Proceedings of the 12th International Conference on Information Security (2009)

Signcryption is a cryptographic primitive which offers authentication and confidentiality simultaneously with a cost lower than signing and encrypting the message independently. Ring signcryption enables a user to signcrypt a message along with the identities of a set of potential senders (that includes him) without revealing which user in the set has actually produced the signcryption. Thus a ring signcrypted message has anonymity in addition to authentication and confidentiality. Ring signcryption schemes have no group managers, no setup procedures, no revocation procedures and no coordination: any user can choose any set of users (ring), that includes himself and signcrypt any message by using his private and public key as well as other users (in the ring) public keys, without getting any approval or assistance from them. Ring Signcryption is useful for leaking trustworthy secrets in an anonymous, authenticated and confidential way.To the best of our knowledge, seven identity based ring signcryption schemes are reported in the literature. Two of them were already proved to be insecure in [1] and [2]. In this paper, we show that four among the remaining five schemes do not provide confidentiality, to be specific, two schemes are not secure against chosen plaintext attack and other two schemes do not provide adaptive chosen ciphertext security. We then propose a new scheme and formally prove the security of the new scheme in the random oracle model. A comparison of our scheme with the only existing correct scheme by Huang et al. shows that our scheme is much more efficient than the scheme by Huang et al.
Succinct Text Indexing with Wildcards
Authors: Alan Tam, Edward Wu, Tak-Wah Lam, Siu-Ming Yiu
Venue: Proceedings of the 16th International Symposium on String Processing and Information Retrieval (2009)

A succinct text index uses space proportional to the text itself, say, two times n log¿ for a text of n characters over an alphabet of size ¿. In the past few years, there were several exciting results leading to succinct indexes that support efficient pattern matching. In this paper we present the first succinct index for a text that contains wildcards. The space complexity of our index is (3 + o(1))n log¿ + O(¿logn) bits, where ¿ is the number of wildcard groups in the text. Such an index finds applications in indexing genomic sequences that contain single-nucleotide polymorphisms (SNP), which could be modeled as wildcards.In the course of deriving the above result, we also obtain an alternate succinct index of a set of d patterns for the purpose of dictionary matching. When compared with the succinct index in the literature, the new index doubles the size (precisely, from n log¿ to 2 n log¿, where n is the total length of all patterns), yet it reduces the matching time to O(mlog¿ + mlogd + occ), where m is the length of the query text. It is worth-mentioning that the time complexity no longer depends on the total dictionary size.
A Threat Analysis Methodology for Security Evaluation and Enhancement Planning
Authors: Antonietta Stango, Neeli R. Prasad, Dimitris M. Kyriazanos
Venue: Proceedings of the 2009 Third International Conference on Emerging Security Information, Systems and Technologies (2009)

Threat analysis gives how potential adversaries exploit system weakness to achieve their goals. It identifies threats and defines a risk mitigation policy for a specific architecture, functionality and configuration. In a threat analysis security metrics are a challenging requirement in order to determine the status of network security performance and to further enhance it by minimizing exposure to considerable threats and vulnerabilities. In this paper the authors propose a generic methodology for threat analysis and security metrics in order to prioritize threats and vulnerabilities and proceed with security enhancement planning in Personal Networks (PNs).
Word lattices for multi-source translation
Authors: Josh Schroeder, Trevor Cohn, Philipp Koehn
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

Multi-source statistical machine translation is the process of generating a single translation from multiple inputs. Previous work has focused primarily on selecting from potential outputs of separate translation systems, and solely on multi-parallel corpora and test sets. We demonstrate how multi-source translation can be adapted for multiple monolingual inputs. We also examine different approaches to dealing with multiple sources, including consensus decoding, and we present a novel method of input combination to generate lattices for multi-source translation within a single translation model.
Generating application-specific benchmark models for complex systems
Authors: Jun Wang, Gregory Provan
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

Automated generators for synthetic models and data can playa crucial role in designing new algorithms/model-frameworks, given the sparsity of benchmark models for empirical analysis and the cost of generating models by hand. We describe an automated generator for benchmark models that is based on using a compositional modeling framework and employs random-graph models for the system topology. We choose the system topology that best matches the topology of the real-world system using a domain-analysis algorithm. To show the range of models for which this approach is applicable, we demonstrate our model-generation process using two examples of model generation optimized for a specific domain: (1) model-based diagnosis for discrete Boolean circuits, and (2) E.coli TRN networks for simulating gene expression.
Maximization of Values of Simple and Multiple Eigenfrequencies of Continuum Structures Using Topology Optimization
Authors: Jinqing Zhan, Xianmin Zhang, Junfeng Hu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The paper is concerned with the layout optimization of continuum structures using topology optimization. The objective of the optimization is a maximization of the magnitude of the fundamental simple and multiple eigenfrequencies of linearly elastic structures without damping. SIMP (solid isotropic material with penalization scheme) is used to indicate the dependence of material modulus upon the element densities. The topology optimization problem is treated via a max-min formulation based on a variable lower bound technique. The sequential linear programming method is employed as optimizer. Two numerical examples are presented to show the feasibility of the present approach.
Kinespell: Kinesthetic Learning Activity and Assessment in a Digital Game-Based Learning Environment
Authors: Ada Angeli Cariaga, Jay Andrae Salvador, Ma. Rowena Solamo, Rommel Feria
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Various approaches in learning are commonly classified into visual, auditory and kinesthetic (VAK) learning styles. One way of addressing the VAK learning styles is through game-based learning which motivates learners pursue knowledge holistically. The paper presents Kinespell, an unconventional method of learning through digital game-based learning. Kinespell is geared towards enhancing not only the learner's spelling abilities but also the motor skills through utilizing wireless controllers. It monitors player's performance through integrated assessment scheme. Results show that Kinespell may accommodate the VAK learning styles and is a promising alternative to established methods in learning and assessing students' performance in Spelling.
RoK: Roll-Up with the K-Means Clustering Method for Recommending OLAP Queries
Authors: Fadila Bentayeb, Cécile Favre
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analytical Processing (OLAP) operators such as drill-down and roll-up. The granularity levels which compose a dimension hierarchy are usually fixed during the design step of the data warehouse, according to the identified analysis needs of the users. However, in practice, the needs of users may evolve and grow in time. Hence, to take into account the users' analysis evolution into the data warehouse, we propose to integrate personalization techniques within the OLAP process. We propose two kinds of OLAP personalization in the data warehouse: (1) adaptation and (2) recommendation.Adaptation allows users to express their own needs in terms of aggregation rules defined from a child level (existing level) to a parent level (new level). The system will adapt itself by including the new hierarchy level into the data warehouse schema. For recommending new OLAP queries, we provide a new OLAP operator based on the K-means method. Users are asked to choose K-means parameters following their preferences about the obtained clusters which may form a new granularity level in the considered dimension hierarchy. We use the K-means clustering method in order to highlight aggregates semantically richer than those provided by classical OLAP operators. In both adaptation and recommendation techniques, the new data warehouse schema allows new and more elaborated OLAP queries.Our approach for OLAP personalization is implemented within Oracle 10 g as a prototype which allows the creation of new granularity levels in dimension hierachies of the data warehouse. Moreover, we carried out some experiments which validate the relevance of our approach.
Older People and ICT: Towards Understanding Real-Life Usability and Experiences Created in Everyday Interactions with Interactive Technologies
Authors: Sergio Sayago, Josep Blat
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

This paper reports key findings on an ethnographical study of everyday interactions of older people with ICT. The research questions addressed are what easy or difficult to use means for older people in their daily interactions with ICT and what the relationship between usability and experiences created between older people and ICT is. 388 older people were observed and conversed with while using a wide array of ICT during 3 years. The results reveal that usability is related to independency. When ICT are easy to use, older people are independent users. Independency (dependency) can be identified by the number and type of questions, environmental noise disturbing interactions and required practice to master ICT. Independency leads to experiences that are emotionally fulfilling, supportive of exploration and reassuring. Dependency results in very sad experiences. These results suggest another way of seeing the interactions of older people with ICT, far from traditional individual age-related changes in functional abilities.
Blind separation of piecewise stationary non-Gaussian sources
Authors: Zbynk Koldovský, Jiří Málek, Petr Tichavský, Yannick Deville, Shahram Hosseini
Venue: Signal Processing (2009)

We address independent component analysis (ICA) of piecewise stationary and non-Gaussian signals and propose a novel ICA algorithm called Block EFICA that is based on this generalized model of signals. The method is a further extension of the popular non-Gaussianity-based FastICA algorithm and of its recently optimized variant called EFICA. In contrast to these methods, Block EFICA is developed to effectively exploit varying distribution of signals, thus, also their varying variance in time (nonstationarity) or, more precisely, in time-intervals (piecewise stationarity). In theory, the accuracy of the method asymptotically approaches Cramer-Rao lower bound (CRLB) under common assumptions when variance of the signals is constant. On the other hand, the performance is practically close to the CRLB even when variance of the signals is changing. This is demonstrated by comparing our algorithm with various methods that are asymptotically efficient within ICA models based either on the non-Gaussianity or the nonstationarity. The benefit of our algorithm is demonstrated by examples with real-world audio signals.
Quantitative methods for classifying writing systems
Authors: Gerald Penn, Travis Choma
Venue: Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Short Papers on XX (2006)

We describe work in progress on using quantitative methods to classify writing systems according to Sproat's (2000) classification grid using unannotated data. We specifically propose two quantitative tests for determining the type of phonography in a writing system, and its degree of logography, respectively.