ppxscal/embedding_network huggingface dataset:
Identification of Basic Measurable Security Components for a Distributed Messaging System
Authors: Reijo M. Savola, Habtamu Abie
Venue: Proceedings of the 2009 Third International Conference on Emerging Security Information, Systems and Technologies (2009)

The lack of appropriate information security solutions in software-intensive systems can have serious consequences for businesses and the stakeholders. Carefully designed security metrics can be used to offer evidence of the security behavior of the system under development or operation. This study investigates holistic development of security metrics for a distributed messaging system based on threat analysis, security requirements, decomposition and use case information. Our approach is thus requirement-centric. The high-level security requirements are expressed in terms of lower-level measurable components applying a decomposition approach.
Adaptive Sampling for k-Means Clustering
Authors: Ankit Aggarwal, Amit Deshpande, Ravi Kannan
Venue: Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (2009)

We show that adaptively sampled O(k) centers give a constant factor bi-criteria approximation for the k-means problem, with a constant probability. Moreover, these O(k) centers contain a subset of k centers which give a constant factor approximation, and can be found using LP-based techniques of Jain and Vazirani [JV01] and Charikar et al. [CGTS02]. Both these algorithms run in effectively O(nkd) time and extend the O(logk)-approximation achieved by the k-means++ algorithm of Arthur and Vassilvitskii [AV07].
Rhetorical Signs as Clues for Improving the Accuracy of MT - A Case Study from Classical Chinese to English
Authors: Jiang Xin, Jiang Yi
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

The paper intends to address a problem in classical Chinese-English machine translation, which still waits anxiously for joint efforts from linguists and computational engineers to get developed. Google online translation system and SystranBox are tried out on decrypting The Classics of Tea, and both versions reveal problems potentially typical in this field. One obvious defect is their inadequate capacity in recognizing rhetorical devices such as “repeated” words in parallelism and antithesis with concrete or redundant information. It is expected that such devices could be used as indicative clues for bilingual alignment and generative algorithm to increase the effect of classical Chinese-English machine translation.
A Hybrid Parallel Signature Matching Model for Network Security Applications Using SIMD GPU
Authors: Chengkun Wu, Jianping Yin, Zhiping Cai, En Zhu, Jieren Chen
Venue: Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies (2009)

High performance signature matching against a large dictionary is of great importance in network security applications. The many-core SIMD GPU is a competitive choice for signature matching. In this paper, a hybrid parallel signature matching model (HPSMM) using SIMD GPU is proposed, which uses pattern set partition and input text partition together. Then the problem of load balancing for multiprocessors in the GPU is discussed carefully, and a balanced pattern set partition method (BPSPM) employed in HPSMM is introduced. Experiments demonstrate that using pattern set partition and input text partition together can help achieve a better performance, and the proposed BPSPM-Length works well in load balancing.
Demonstration of distributed TDMA MAC protocol implementation with OLSR on linux enriched WARP
Authors: Hannu Tuomivaara, Matti Raustia, Markku Jokinen
Venue: Proceedings of the 4th ACM international workshop on Experimental evaluation and characterization (2009)

In this demo we present software extension for the Wireless open Access Research Platform (WARP), named as Linux Enriched WARP (LE-WARP). The objective of the LE-WARP is twofold. First, to make the WARP more independent from external systems, e.g., need for external PC to be part of the WARP's network layer. This is achieved by introducing Linux OS to the platform. The second objective is to utilize a secondary network for coordinated statistics gathering from the WARPs. To demonstrate these features of LE-WARP, a prototype implementation consisting of distributed Time Division Multiple Access (TDMA) based MAC protocol with distributed time synchronization algorithm and the Optimized Link State Routing (OLSR) protocol for ad hoc networks is presented. The demonstration highlights the LE-WARP's ability to monitor the multihop test network consisting four nodes while utilizing the presented prototype implementation.
Java on 1000 Cores: Tales of Hardware/Software Co-design
Authors: Cliff Click
Venue: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009)

Azul Systems designs and builds systems for running business logic applications written in Java. Unlike scientific computing, business logic code tends to be very large and complex (> 1MLOC is *common*), display very irregular data access patterns, and make heavy use of threads and locks. The common unit of parallelism is the transaction or thread-level task. Business logic programs tend to have high allocation rates which scale up with the amount of work accomplished, and they are sensitive to Garbage Collection max-pause-times. Typical JVM implementations for heaps greater than 4 Gigabytes have unacceptable pause times and this forces many applications to run clustered. 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
Distributed Anonymization: Achieving Privacy for Both Data Subjects and Data Providers
Authors: Pawel Jurczyk, Li Xiong
Venue: Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII (2009)

There is an increasing need for sharing data repositories containing personal information across multiple distributed and private databases. However, such data sharing is subject to constraints imposed by privacy of individuals or data subjects as well as data confidentiality of institutions or data providers. Concretely, given a query spanning multiple databases, query results should not contain individually identifiable information. In addition, institutions should not reveal their databases to each other apart from the query results. In this paper, we develop a set of decentralized protocols that enable data sharing for horizontally partitioned databases given these constraints. Our approach includes a new notion, l-site-diversity, for data anonymization to ensure anonymity of data providers in addition to that of data subjects, and a distributed anonymization protocol that allows independent data providers to build a virtual anonymized database while maintaining both privacy constraints.
Response Deadline Evaluation in Point-to-Point Negotiation on Grids
Authors: Sébastien Noël, Pierre Manneback, Gheorghe Cosmin Silaghi
Venue: Proceedings of the 6th International Workshop on Grid Economics and Business Models (2009)

In this paper we focus on access negotiation to services in decentralized commercial Grids. Besides being a resource provider, each site can play a brokering role, thus generate profit on the incoming service requests by subcontracting. In our configuration, negotiation is a point-to-point process consisting of couples request-offer messages. We present here an event-based simulator allowing specification of various policies that can affect the service negotiation process and the visualization of the information flow in the network. Further, we exploit the simulator to manage the response deadlines in the request-offer messages, so that sites accomplish their profit-maximization objectives. Simulations help to estimate an appropriate configuration of the policies depending on different Grid parameters leading to the maximization of the local profit.
Dynamical Detection on Urban Sprawl Based on EO Data
Authors: Pan Hongyi, Peng Wenfu, He Wei, Jiang Guiguo, Zhou Jieming, Zhou Wancun
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

With the development of society and economy, the rapid urban sprawl in land use is being witnessed of late in urban districts. As a result, many problems in society and environment have appeared in urban districts, such as population expansion, air pollution, etc. Assessment and inventory on urban sprawl is essential for city planning and sustainable development. The objective of this study was to detect the urban sprawl of Chengdu city (1992-2006) following the RS (remote sensing) and GIS technique based on EO data (Earth observation). EO data provided valuable information for understanding and monitoring the process of urban land cover changes. RS and GIS is gaining importance as vital tool in the detecting on urban sprawl of cities based on EO data. The urban sprawl area extracted from EO data of Chengdu city is 9882.808hm2, 2.686×104hm2 in 1992, 2006, respectively. The result shows that the Chengdu city is expanding in different directions resulting in large-scale urban sprawl and changes in urban land use, the spatial pattern of such changes is clearly noticed on the urban fringes than in the city centre.
A 16-context Optically Reconfigurable Gate Array
Authors: Mao Nakajima, Minoru Watanabe
Venue: Proceedings of the 2009 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (2009)

Demand for fast dynamic reconfiguration has increased since dynamic reconfiguration can accelerate the performance of processors. Dynamic reconfiguration has two important prerequisites: fast reconfiguration and numerous reconfiguration contexts. Unfortunately, fast reconfigurations and numerous contexts share a tradeoff relation on current VLSIs. Therefore, optically reconfigurable gate arrays were developed to resolve this dilemma. Optically reconfigurable gate arrays can realize a large virtual gate count that is much larger than those of current VLSI chips by exploiting the large storage capacity of a holographic memory. Furthermore, optically reconfigurable gate arrays can realize rapid reconfiguration using large bandwidth optical connections between a holographic memory and a programmable gate array VLSI. This paper presents the fastest 317–657 ns reconfiguration demonstration of a 16-context optically reconfigurable gate array architecture.
Dialectica Interpretation with Fine Computational Control
Authors: Trifon Trifonov
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

Computational proof interpretations enrich the logical meaning of formula connectives and quantifiers with algorithmic relevance and allow to extract the construction contained in a proof. Berger showed that quantifiers can be selectively declared irrelevant for the modified realisability interpretation, thus removing unnecessary computation from the extracted program [1]. Hernest adapted the uniform quantifiers to Gödel's Dialectica interpretation [2] and later demonstrated together with the author how they can be refined [5]. The present paper gives a further extension, in which the computational meaning can be controlled separately for every component of the Dialectica interpretation. Apart from enriching the possibilities to remove redundancies in extracted programs, this finer approach also allows to independently switch off the postive or negative algorithmic contribution of whole formulas. 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
A Semi-supervised Topic-Driven Approach for Clustering Textual Answers to Survey Questions
Authors: Hui Yang, Ajay Mysore, Sharonda Wallace
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

We propose an algorithm to effectively cluster a specific type of text documents: textual responses gathered through a survey system. Due to the peculiar features exhibited in such responses (e.g., short in length, rich in outliers, and diverse in categories), traditional unsupervised and semi-supervised clustering* techniques are challenged to achieve satisfactory performance as demanded by a survey task. We address this issue by proposing a semi-supervised, topic-driven approach. It first employs an unsupervised algorithm to generate a preliminary clustering schema for all the answers to a question. A human expert then uses this schema to identify the major topics in these answers. Finally, a topic-driven clustering algorithm is adopted to obtain an improved clustering schema. We evaluated this approach using five questions in a survey we recently conducted in the U.S. The results demonstrate that this approach can lead to significant improvement in clustering quality.
Securing medical data in smart homes
Authors: Mouhcine Guennoun, Khalil El-Khatib
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

Technological progress in the medical field has led to the design of a set of software and hardware tools that enable real-time monitoring of the patients. To reduce the rising cost of hospitalization, researchers are building Smart Hospital Environments, which are designed to connect the patient's home to a virtual clinic continuously monitored by health experts. Some of the major concerns that still need to be addressed before these devices get a wide acceptance include protecting the security and privacy of medical data collected by these devices. Traditional static access control solutions do not address the complex dynamic security requirements of healthcare applications. This paper presents a context-based access control architecture to fulfill the security requirements of protecting medical data in pervasive healthcare. The access control rules are updated based on the collected data that describes the current state of the patient.
A Study of the Attenuation in the Properties of Haptic Devices at the Limit of the Workspace
Authors: Jose San Martin
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

In the context of the optimization in virtual reality systems involving a haptic device, this paper introduces a correction in the formula that defined the performance of the device near the boundary of its workspace. We introduce too corrections to an index based on the Manipulability which takes in account the frequency with which each zone of the application workspace is visited during the simulation process, in order to help the designer for obtaining the best positioning of the device respect to the virtual environment. We demonstrate the new formula studying three different tasks to be accomplished. Finally we look for this best positioning analyzing not only the displacement but the different orientations we can introduce in the virtual environment in order to take advantage of the best zones of the workspace in terms of Manipulability.
Feature-based segmentation of narrative documents
Authors: David Kauchak, Francine Chen
Venue: Proceedings of the ACL Workshop on Feature Engineering for Machine Learning in Natural Language Processing (2005)

In this paper we examine topic segmentation of narrative documents, which are characterized by long passages of text with few headings. We first present results suggesting that previous topic segmentation approaches are not appropriate for narrative text. We then present a feature-based method that combines features from diverse sources as well as learned features. Applied to narrative books and encyclopedia articles, our method shows results that are significantly better than previous segmentation approaches. An analysis of individual features is also provided and the benefit of generalization using outside resources is shown.
A Simulation-Based Research on Emergency Pedestrian Evacuation for Urban Residential Districts
Authors: Shuang Li, Wei Deng, Yisheng Lv
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Evacuation may be carried out before, during or after natural disasters, terrorist attacks, etc. And it is a common strategy for handling such emergency situations. This paper presents a simulation-based research on emergency pedestrian evacuation for urban residential districts, which takes into account the behavioral input. This study assumes that residents in threatened living districts are evacuated to safe places on foot. A temporal distribution curve of resident’s evacuation decision time is obtained based on studying the decision-making behavior of residents before evacuation. The degree of rationality and familiarity are introduced to predict spatial distribution of residents. Evacuation simulations are conducted with different values of the degree of rationality and familiarity. The network clearance time is obtained to measure the effect of people’s different behavior on evacuation efficiency. The simulation incorporating behavior input is much more realistic than purely engineering-type models.
A neuro-fuzzy strategy for web personalization
Authors: G. Castellano, A. M. Fanelli, P. Plantamura, M. A. Torsello
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 3 (2008)

In this paper, we propose the use of a neuro-fuzzy strategy to develop a Web personalization framework for the dynamic suggestion of URLs retained interesting for the currently connected users. In particular, a hybrid strategy exploiting the combination of the fuzzy logic with the neural paradigm is proposed in order to discover useful knowledge from session data identified from the analysis of log files and represent it in a set of fuzzy rules expressed in an interpretable form.
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Authors: Ping Hou, Marc Denecker
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to extend Gentzen's sequent calculus to obtain a deductive inference method for FO(ID). The main difficulty in building such a proof system is the representation and inference of unfounded sets. It turns out that we can represent unfounded sets by least fixpoint expressions borrowed from stratified least fixpoint logic (SLFP), which is a logic with a least fixpoint operator and characterizes the expressibility of stratified logic programs. Therefore, in this paper, we integrate least fixpoint expressions into FO(ID) and define the logic FO(ID,SLFP). We investigate a sequent calculus for FO(ID,SLFP), which extends the sequent calculus for SLFP with inference rules for the inductive definitions of FO(ID). We show that this proof system is sound with respect to a slightly restricted fragment of FO(ID) and complete for a more restricted fragment of FO(ID).
Acceptance of Mobile Entertainment by Chinese Rural People
Authors: Jun Liu, Ying Liu, Hui Li, Dingjun Li, Pei-Luen Patrick Rau
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

This study explores and analyzes contributing factors of mobile entertainment acceptance by Chinese rural people. First, 27 factors were drawn from literatures. Then a new factor "cost" was found through interview. After that, a survey was built based on the 28 factors. From the data collected in Chinese rural area, seven factors were extracted through explorative factor analysis: social influence, technology and service quality, entertainment utility, simpleness and certainty, self-efficacy, perceived novelty, and cost. Finally, a comprehensive model was provided involving the seven factors as well as their importance rank. This research provides a comprehensive approach in technology acceptance theory. It can also help practitioners to better understand the rural user group and improve their products accordingly.
Deriving image-text document surrogates to optimize cognition
Authors: Eunyee Koh, Andruid Kerne
Venue: Proceedings of the 9th ACM symposium on Document engineering (2009)

The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal collections and those generated by search engines, are typically represented by lists of text-only surrogates. By concurrently invoking complementary components of human cognition, combined image-text surrogates will help people to more effectively see, understand, think about, and remember an information collection. This research develops algorithmic methods that use the structural context of images in HTML documents to associate meaningful text and thus derive combined image-text surrogates. Our algorithm first recognizes which documents consist essentially of informative and multimedia content. Then, the algorithm recognizes the informative sub-trees within each such document, discards advertisements and navigation, and extracts images with contextual descriptions. Experimental results demonstrate the algorithm's efficacy. An implementation of the algorithm is provided in combinFormation, a creativity support tool for collection authoring. The enhanced image-text surrogates enhance the experiences of users finding and collecting information as part of developing new ideas.
Evaluating Pedagogy-Driven Design of IVA LMS with Activity Pattern Analysis
Authors: Mart Laanpere, Kai Pata, Vladimir Tomberg
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

This paper discusses a pedagogy-driven approach to designing new online learning environments, illustrated by a case study on IVA LMS that was developed in Tallinn University. An empirical study was carried out on the seventh year of using IVA LMS, server log analysis revealed three different types of learning paradigm related activity patterns that were used by teachers and students in IVA environment.
Prioritized OWA aggregation
Authors: Ronald R. Yager
Venue: Fuzzy Optimization and Decision Making (2009)

We indicate that the problem of prioritized criteria arises in situations in which there exists a relationship between the criteria so that lack of satisfaction by the higher priority criteria cannot be readily compensated for by satisfaction by lower priority criteria. Typical of this situation is the relationship between safety and cost. We consider the problem of criteria aggregation in this environment. Central to our approach is the use of importance weights to enforce this prioritization imperative. We apply our use of priority based importance weights to the case where the scope of the criteria aggregation is an OWA type aggregation.
Automatic system for monitoring corrosion of steel in concrete
Authors: A. Poursaee
Venue: Advances in Engineering Software (2009)

Corrosion of embedded steel in concrete is the main deterioration mechanism in reinforced concrete structures. Electrochemical techniques are powerful tools for evaluating the steel behavior in cementitious materials in laboratory and in the field. However, the number and frequency of measurements, and their accuracy are always a challenge for researchers and engineers. In this project, a measurement unit and a flexible program has been developed with LabVIEW 6.1 to allow automated measurements using a variety of electrochemical techniques.