ppxscal/embedding_network huggingface dataset:
F3ildCrypt: End-to-End Protection of Sensitive Information in Web Services
Authors: Matthew Burnside, Angelos D. Keromytis
Venue: Proceedings of the 12th International Conference on Information Security (2009)

The frequency and severity of a number of recent intrusions involving data theft and leakages has shown that online users' trust, voluntary or not, in the ability of third parties to protect their sensitive data is often unfounded. Data may be exposed anywhere along a corporation's web pipeline, from the outward-facing web servers to the back-end databases. The problem is exacerbated in service-oriented architectures (SOAs) where data may also be exposed as they transit between SOAs. For example, credit card numbers may be leaked during transmission to or handling by transaction-clearing intermediaries.We present F3ildCrypt, a system that provides end-to-end protection of data across a web pipeline and between SOAs. Sensitive data are protected from their origin (the user's browser) to their legitimate final destination. To that end, F3ildCrypt exploits browser scripting to enable application- and merchant-aware handling of sensitive data. Such techniques have traditionally been considered a security risk; to our knowledge, this is one of the first uses of web scripting that enhances overall security.Our approach scales well in the number of public key operations required for web clients and does not reveal proprietary details of the logical enterprise network. We evaluate F3ildCrypt and show an additional cost of 40 to 150 ms when making sensitive transactions from the web browser, and a processing rate of 100 to 140 protected fields/second on the server. We believe such costs to be a reasonable tradeoff for increased sensitive-data confidentiality.
Evaluation of Prioritization in Performance Models of DTP Systems
Authors: Christian Markl, Oliver Huhn
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

Modern IT systems serve many different business processes on a shared infrastructure in parallel. The automatic request execution on the numerous interconnected components, hosted on heterogeneous hardware resources, is coordinated in distributed transaction processing (DTP) systems. While pre-defined quality-of-service metrics must be met, IT providers have to deal with a highly dynamic environment concerning workload structure and overall demand when provisioning their systems. Adaptive prioritization is a way to react to short-term demand variances. Performance models can be applied to predict the impacts of prioritization strategies on the overall performance of the system. In this paper we describe the workload characteristics and particularities of two real-world DTP systems and evaluate the effects of prioritization concerning supported overall load and resulting end-to-end performance measures.
Unsupervised named entity transliteration using temporal and phonetic correlation
Authors: Tao Tao, Su-Youn Yoon, Andrew Fister, Richard Sproat, ChengXiang Zhai
Venue: Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing (2006)

In this paper we investigate unsupervised name transliteration using comparable corpora, corpora where texts in the two languages deal in some of the same topics --- and therefore share references to named entities --- but are not translations of each other. We present two distinct methods for transliteration, one approach using an unsupervised phonetic transliteration method, and the other using the temporal distribution of candidate pairs. Each of these approaches works quite well, but by combining the approaches one can achieve even better results. We believe that the novelty of our approach lies in the phonetic-based scoring method, which is based on a combination of carefully crafted phonetic features, and empirical results from the pronunciation errors of second-language learners of English. Unlike previous approaches to transliteration, this method can in principle work with any pair of languages in the absence of a training dictionary, provided one has an estimate of the pronunciation of words in text.
MPTD: A Scalable and Flexible Performance Prediction Framework for Parallel Systems
Authors: Chuanfu Xu, Yonggang Che, Zhenghua Wang
Venue: Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies (2009)

The increasing complexities of today's parallel systems pose new challenges for performance prediction. Effective performance prediction can provide insight, deepen understanding and further identify potential performance bottlenecks of system/application combinations. In this paper, we present and evaluate a multi-phase trace-driven (MPTD) performance prediction framework for parallel systems. In the trace generation phase, based on a relatively simple performance model, MPTD performs parallel performance simulation to generate primary prediction results and traces rapidly. In the trace adjustment phase, traces are transformed or re-simulated based on performance models of new component architecture or more detailed performance models. This phase is self-repeatable (it can be performed more than once and need not go back to the former phase) to enable more flexible reuse of traces. We implemented an instantiation of MPTD to predict the performance of popular multi-core cluster systems. Analysis and tests show that MPTD is scalable, flexible, and can help researchers for better balancing accuracy and efficiency of performance prediction.
Wearable therapist: sensing garments for supporting children improve posture
Authors: Holger Harms, Oliver Amft, Gerhard Tröster, Mirjam Appert, Roland Müller, Andreas Meyer-Heim
Venue: Proceedings of the 11th international conference on Ubiquitous computing (2009)

This paper introduces a sensing garment to support posture coaching in children. The system measures back bending postures using acceleration sensors embedded in the garment. We present a sensing garment architecture and the evaluation of garments of different sizes in a study with 21 children. A vision-based reference system was used to evaluate sensor positions and measurement accuracy for 54 back bending postures and related head positions. Then, we asked eight physiotherapists to rate the children's back postures in this study. Ratings of experts correlated significantly with the back bending measurements obtained from the garment. The garment enables an objective assessment of back postures and could form the basis of a system that provides coaching feedback to improve postural control in children.
Characterizing curves satisfying the Gauss-Christoffel theorem
Authors: E. Berriochoa, A. Cachafeiro
Venue: Journal of Computational and Applied Mathematics (2009)

In this paper we obtain the reciprocal of the classical Gauss theorem for quadrature formulas. Indeed we characterize the support of the measures having quadrature formulas with the exactness given in the Gauss theorem.
Secure video distribution scheme based on partial encryption
Authors: Shiguo Lian
Venue: International Journal of Imaging Systems and Technology (2009)

In TV program distribution, the receiver's identification information is embedded into video data in order to trace illegal distributors, and video data are encrypted in order to protect the confidentiality against unauthorized users. In traditional method, the TV program is firstly fingerprinted, then encrypted, and finally transmitted. For N receivers, N times of encryption, and N times of fingerprinting operations are required, which makes the sender of high loading. In another method, the media content is decrypted and fingerprinted simultaneously by the joint fingerprint embedding and decryption, which is difficult to obtain reasonable performances. In this article, a commutative encryption and fingerprinting scheme is proposed to reduce the sender's loading. In this scheme, the TV program is firstly encrypted, then fingerprinted, and finally transferred. When compared with the traditional method, in the proposed method, only once encryption and N times of fingerprinting are required, which reduces the sender's loading greatly. Based on MPEG2 videos, a commutative encryption and fingerprinting scheme is presented, whose performances including security, efficiency, robustness, and imperceptibility are evaluated. Experimental results show that the scheme obtains good performances and is suitable for TV program distribution. &copy; 2009 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 19, 227&ndash;235, 2009
Combinatorics of Finite Words and Suffix Automata
Authors: Gabriele Fici
Venue: Proceedings of the 3rd International Conference on Algebraic Informatics (2009)

The suffix automaton of a finite word is the minimal deterministic automaton accepting the language of its suffixes. The states of the suffix automaton are the classes of an equivalence relation defined on the set of factors. We explore the relationship between the combinatorial properties of a finite word and the structural properties of its suffix automaton. We give formulas for expressing the total number of states and the total number of edges of the suffix automaton in terms of special factors of the word. 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
Using answer set programming and lambda calculus to characterize natural language sentences with normatives and exceptions
Authors: Chita Baral, Juraj Dzifcak, Tran Cao Son
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especially ones that are appropriate to express domain knowledge in sciences, such as Biology. While there have been several proposals, including by Montague (1970), to give model theoretic semantics for natural language and to translate natural language sentences and discourses to classical logic, none of these approaches use knowledge representation languages that can express domain knowledge involving normative statements and exceptions. In this paper we take a first step to illustrate how one can automatically translate natural language sentences about normative statements and exceptions to representations in the knowledge representation language Answer Set Programming (ASP). To do this, we use λ-calculus representation of words and their composition as dictated by a CCG grammar.
Blind Source Separation for Convolutive Mixtures and Its Application to Machine Vibrations
Authors: Weiguo Huang, Shuyou Wu, Fanrang Kong, Qiang Wu, Peng Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Blind source separation is a signal processing method based on independent component analysis, its aim is to separate the source signals from a set of observations by assuming the signals independently. This paper reviews the general concept of BSS, especially the theory for convolutive mixtures, the model of convolutive mixture and two deconvolution structures: Recursive and Direct structures, then presents a BSS algorithm for convolutive mixtures based on RCTE threshold control criteria, the simulation testing points out good performance for simulated mixtures.
The Coming Revolution in Competence Development: Using Serious Games to Improve Cross-Cultural Skills
Authors: Bjorn Andersen, Manuel Fradinho, Paul Lefrere, Veli-Pekka Niitamo
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

Approaches to competence development have tended to focus on training to reach a required level of performance in simple and reproducible contexts, rather than in the more complex and hard-to-replicate contexts that characterize real-world projects, especially projects that involve people from other cultures. This paper explores how the Serious Games approach can be exploited to create skills in dealing with cross-cultural issues in project management. The degree of difference this can make to real-world performance is so dramatic that managers who have experienced it are seeing it not as a way to add Incremental Improvements to TEL (Technology Enhanced Learning) but as more of a Radical Innovation --- a revolutionary change. Some of the main skills required in project management are reviewed, and different models of cross-cultural analysis applied to understand how the challenges of managing projects are increased by cultural issues. Our testbed for this is an EU project TARGET that is developing the next generation TEL approach. We describe its approach and look at how the TARGET serious game can be designed to achieve enhanced cross-cultural skills in users.
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework
Authors: Bin Xue, Sandeep K. Shukla
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

As Globally Asynchronous and Locally Synchronous (GALS) based System-on-chip (SoC) are gaining importance, a special case of GALS when the global clocking is preserved, but the interconnect delays of multiple clock cycles are to be tolerated has also been proposed, and used. In some cases, such designs, known as Latency-Insensitive Protocol (LIP) based SoC integration are also general enough to work when the global clocking is not present. In either case, the protocols are complex, and many optimized implementations of such protocols need verification that indeed they work correctly with respect to the specification of the system. Usually the specification of the system is fully globally clocked with negligible interconnect delays, so that the specification can be first implemented as synchronous design with traditional tools. GALS or LIP refinements are then applied to tolerate the multi-cycle interconnect delays, or fully asynchronous interconnect communication, as the case may be. Verifying that such refinements are correctness preserving, researchers have used model checking in the past. In this paper, we present static analysis based framework for such verification. Our framework makes use of the Polychrony framework and associated semantic analysis techniques, in the form of endo-isochrony. We show a number of LIP protocols to preserve the correctness with respect to their fully synchronous specifications using our framework. We believe, designers can verify LIP implementations with clever optimizations using our framework much more readily than when using model checking.
Visualizing Sustainable Planning, 1st edition
Authors: Gerhard Steinebach, Subhrajit Guhathakurta, Hans Hagen
Venue:  (2009)

The authors present the state of the art in the rapidly growing field of visualization as related to problems in urban and regional planning. The significance and timeliness of this volume consist in its reflection of several developments in literature and the challenges cities are facing. First, the unsustainability of many of our current paradigms of development has become evidently clear. We are entering an era in which communities across the globe are strengthening their connections to the global flows of capital, goods, ideas, technologies and values while facing at the same time serious dislocations in their traditional socioeconomic structures. While the impending scenarios of climate change impacts remind us about the integrated ecological system that we are part of, the current discussions about global recession in the media alert us and make us aware of the occasional perils of the globalized economic system. The globally dispersed, intricately integrated and hyper-complex socioeconomic-ecological system is difficult to analyze, comprehend and communicate without effective visualization tools. Given that planners are at the frontlines in the effort to prepare as well as build resilience in the impacted communities, appropriate visualization tools are indispensable for effective planning. Second, planners have largely been slow to incorporate the advances in visualization research emerging from other domains of inquiry.
Overview of the INEX 2008 Link the Wiki Track
Authors: Wei Che Huang, Shlomo Geva, Andrew Trotman
Venue: Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers (2009)

The Link the Wiki track at INEX 2008 offered two tasks, file-to-file link discovery and anchor-to-BEP link discovery. In the former 6600 topics were used and in the latter 50 were used. Manual assessment of the anchor-to-BEP runs was performed using a tool developed for the purpose. Runs were evaluated using standard precision recall measures such as MAP and precision / recall graphs. 10 groups participated and the approaches they took are discussed. Final evaluation results for all runs are presented.
Query Rewriting Rules for Versioned XML Documents
Authors: Tetsutaro Motomura, Mizuho Iwaihara, Masatoshi Yoshikawa
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Shared and/or interactive contents such as office documents and wiki contents are often provided with both the latest version and all past versions. It is necessary to add version axes to XPath in order to trace version histories of fine-grained subdocuments of XML. Although research has been done on the containment and equivalence problems for XPath, which is a basic property of optimizing queries, there has been no research in the case for XPath extended with version axes. In this paper, we will propose query rewriting rules which can exchange between document axes and version axes, and prove that they are preserving query semantics. The rewriting rules enable us to swap path subexpressions between document axes and version axes to optimize queries.
A Human Factors Model for Enterprise Resources Planning System Implementation
Authors: Chiuhsiang Joe Lin, Chih-Wei Yang, Shi-Bin Lin, Shiau-Feng Lin
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

The implementation and adoption of enterprise resource planning (ERP) system is currently a key issue for companies. The critical problem of implementing and adopting ERP system is that the system architectures are quite complex. This study focuses on the integration of the human factors issues in the ERP implementation process. The mental or cognitive differences between information systems concerning people and end users are compared in this study based on information related theories. This paper proposes a human-centered system implementation and adoption model. The main purpose of this model is to assist the ERP system implementation and adoption and creates maximum customer value. The paper shows how to carry out the model step by step with the final goal of increasing the efficiency and acceptability of the system to be implemented and adopted.
Edutainment Robotics as Learning Tool
Authors: Eleonora Bilotta, Lorella Gabriele, Rocco Servidio, Assunta Tavernise
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

Many constructivist technologies, such as Lego® MindStormsTM robotic kit, allow students to improve problem solving strategies in educational settings, encouraging teamwork and creativeness. This latter Edutainment robotic kit has been built in accordance with learning principles derived from Piaget and Vygotskij theories of cognitive development, as revised by Papert, which portray learning as the acquisition or `construction' of knowledge through observation of the effects of one's actions on the world.
The Elliptic Numerical Ranges of 4x4 Matrices
Authors: Xueting Liu, Hongkui Li
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Supposebe an n-order complex polynomial . Letbe an complex matrix associated with . The numerical range of is denoted by.In this paper, we consider the properties of the Kippenhahn curve firstly, and then discuss the necessary condition of being an elliptic disc by making use of matrices Kronecker product and the Kippenhahn curve when is reducible companion matrix.
Improving in-Vehicle Display and Control Design for Older Drivers
Authors: Jaeheok Ryu, Gyohyeon Song, Seongil Lee, Yoonhyung Cho, Gyouhyung Kyung, Hyungkee Kim, Kyungkuk Baek
Venue: Proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers: Held as Part of HCI International 2009 (2009)

Guidelines for older driver-friendly automobile interior design have been determined by taking into account older people's physical and cognitive characteristics. Twenty three older people (aged from 54 to 78) and five younger people (from 20 to 29) performed several tasks in actual driving conditions, in which their reaction times and performance errors were recorded. Some design factors were found to be related to older drivers' visibility and controllability. Several design guidelines were proposed in terms of cluster color and font, display location, and HVAC control type. Proposed guidelines are expected to satisfy a wider range of older drivers as these will facilitate automobile interior designs which are fitter to older drivers' visual, cognitive, and manual capabilities.
Quasi-interpolation by quadratic C1-splines on truncated octahedral partitions
Authors: M. Rhein, T. Kalbe
Venue: Computer Aided Geometric Design (2009)

We describe an approximating scheme for the smooth reconstruction of discrete data on volumetric grids. A local quasi-interpolation method for quadratic C^1-splines on uniform tetrahedral partitions is used to achieve a globally smooth function. The Bernstein-Bezier coefficients of the piecewise polynomials are thereby directly determined by appropriate combinations of the data values. We explicitly give a construction scheme for a family of quasi-interpolation operators and prove that the splines and their derivatives can provide an approximation order two for smooth functions. The optimal approximation of the derivatives and the simple averaging rules for the coefficients recommend this method for high quality visualization of volume data. Numerical tests confirm the approximation properties and show the efficient computation of the splines.
Proving Termination by Invariance Relations
Authors: Paolo Pilozzi, Danny Schreye
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

We propose a new constraint-based approach to termination analysis, applicable to Logic Programming (LP) and Constraint Handling Rules (CHR). Our approach further extends the existing constraint-based approaches for LP based on polynomial interpretations and introduces a whole new level of expressivity. We can handle problems such as bounded increase and integer arithmetic, elegantly. Furthermore, we are able to prove termination of programs that only terminate for subsets of the considered queries. Examples are algorithms that manipulate graphs and that only terminate if the graph in the input is cycle-free. This information cannot be represented, using the existing techniques in termination analysis. Therefore, we introduce invariance relations, representing relations among terms that hold on atoms during calls to the program. These relations can also be derived in a constraint-based manner and they can be used as a basis for a more expressive interpretation of the atoms of the program. We discuss our technique in the context of CHR, solving an important class of open problems containing transitivity rules. We also demonstrate the technique in an LP context and show that it is more powerful than existing constraint-based approaches.