ppxscal/embedding_network huggingface dataset:
IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata
Authors: Étienne André
Venue: Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (2009)

We present here Imitator, a tool for synthesizing constraints on timing bounds (seen as parameters) in the framework of timed automata. Unlike classical synthesis methods, we take advantage of a given reference valuation of the parameters for which the system is known to behave properly. Our aim is to generate a constraint such that, under any valuation satisfying this constraint, the system is guaranteed to behave, in terms of alternating sequences of locations and actions, as under the reference valuation. This is useful for safely relaxing some values of the reference valuation, and optimizing timing bounds of the system. We have successfully applied our tool to various examples of asynchronous circuits and protocols.
On the Rate Control in Video Coding: Algorithms and Experiments
Authors: Shurong Chen, Kaiyu Xu
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

This paper presents novel algorithms for optimal bit allocation and uniform rate control in video coding. By introducing an important factor of the frame picture in the Group of Pictures (GOP), the bit allocation is formulated as a convex programming problem, and is efficiently solved by designed algorithm which combines Lagrangian method and Boundary Linear Search method (L-BLS). Then, an efficient rate control scheme is proposed and is also simulated and verified in the MPEG2 video coding. Experimental results show that the proposed scheme can achieve a better picture quality, namely, PSTN reached average 1.1db improvement than the Test Model5 (TM5) under the same target bits rate and mismatch error.
Recovering coherent intepretations using semantic integration of partial parses
Authors: John Bryant
Venue: Proceedings of the 3rd Workshop on RObust Methods in Analysis of Natural Language Data (2004)

This paper describes a chunk-based parser/semantic analyzer used by a language learning model. The language learning model requires an analyzer that robustly responds to extragrammaticality, ungrammaticality and other problems associated with transcribed language. The analyzer produces globally coherent analyses by semantically integrating the partial parses. Each resulting semantically integrated analysis is ranked by its semantic compatibility using a novel metric called semantic density.
On Social e-Learning
Authors: Won Kim, Ok-Ran Jeong
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Social Web sites include social networking sites and social media sites. They make it possible for people to share user-created contents online and to interact and stay connected with their online people networks. The social features of social Web sites, appropriately adapted, can help turn e-learning into social e-learning and make e-learning significantly more effective. In this paper, we develop requirements for social e-learning systems. They include incorporating the many of the social features of social Web sites, accounting for all key stakeholders and learning subjects, and curbing various types of misuses by people. We also examine the capabilities of representative social e-learning Web sites that are available today.
Optimal preposterior observation of dynamic systems
Authors: R. Gabasov, F. M. Kirillova, E. I. Poyasok
Venue: Automation and Remote Control (2009)

Consideration was given to the problem of optimal observation which accompanies the problem of optimal control under multiple uncertainties using feedforward, feedback and combined, closable and closed, loops. Sets of the initial and current preposterior distributions of the terminal state of the dynamic system were introduced. Problems of linear programming were formulated to evaluate these sets. Positional solution of the optimal observation problem which may be used for positional solution of the optimal control problem under multiple uncertainties was established relying on the current preposterior distribution. A method of positional solution of the optimal observation problem using the optimal estimator which in real time generates the current values of the positional solution was proposed. The results obtained were illustrated by an example.
Electrical contacts for II-VI semiconducting devices
Authors: Biswajit Ghosh
Venue: Microelectronic Engineering (2009)

High resistivity II-VI semiconductors in general and CdTe and its associated materials like CdZnTe and CdMnTe in particular are suffering from ohmic contacting problem due to their high electron affinity and consequently large work function. Ni, Au, Pt and Pd have large work function and have possibility to match with the above materials. However, except Ni other materials have problems in large-scale commercial applications. In order to overcome the ohmic contacting problem to these semiconductors the following studies has been conducted in the text of the present paper. These are: (i) Work function engineering to modulate the work function through combination materials like, Cu, Au, Mo, W and Co. (ii) Introduction of a charge diluting intermediate semiconducting layer media in between the metal and CdTe to neutralize the bound polarized charges. These two aspects were applied in case of thin film CdTe-CdS solar cells to evaluate their contacting performances and their influences in solar cell parameters. Both cell performances and the contact characteristics of these contacting technologies were studied at depth and indicated their applicability in semiconducting devices.
A Secure Protocol to Maintain Data Privacy in Data Mining
Authors: Fodé Camara, Samba Ndiaye, Yahya Slimani
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Recently, privacy issues have becomes important in data mining, especially when data is horizontally or vertically partitioned. For the vertically partitioned case, many data mining problems can be reduced to securely computing the scalar product. Among these problems, we can mention association rule mining over vertically partitioned data. Efficiency of a secure scalar product can be measured by the overhead of communication needed to ensure this security. Several solutions have been proposed for privacy preserving association rule mining in vertically partitioned data. But the main drawback of these solutions is the excessive overhead communication needed for ensuring data privacy. In this paper we propose a new secure scalar product with the aim to reduce the overhead communication.
Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats
Authors: Tobias Hoppe, Stefan Kiltz, Jana Dittmann
Venue: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (2009)

Since automotive IT is becoming more and more powerful, the IT-security in this domain is an evolving area of research. In this paper we focus on the relevance of the black box perspective in the context of threat analyses for automotive IT systems and discuss typical starting points and implications of respective attacks. We put a special focus on potential privacy issues, which we expect to be of increasing relevance in future automotive systems. To motivate appropriate provision for privacy protection in future cars we discuss potential scenarios of privacy violations. To underline the relevance even today, we further present a novel attack on a recent gateway ECU enabling an attacker to sniff arbitrary internal communication even beyond subnetwork borders.
The Karamel system and semitic languages: structured multi-tiered morphology
Authors: François Barthélemy
Venue: Proceedings of the EACL 2009 Workshop on Computational Approaches to Semitic Languages (2009)

Karamel is a system for finite-state morphology which is multi-tape and uses a typed Cartesian product to relate tapes in a structured way. It implements statically compiled feature structures. Its language allows the use of regular expressions and Generalized Restriction rules to define multi-tape transducers. Both simultaneous and successive application of local constraints are possible. This system is interesting for describing rich and structured morphologies such as the morphology of Semitic languages.
Design of a mechanism for promoting honesty in E-marketplaces
Authors: Jie Zhang, Robin Cohen
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

In this paper, we explore the use of the web as an environment for electronic commerce. In particular, we develop a novel mechanism that creates incentives for honesty in electronic marketplaces where human users are represented by buying and selling agents. In our mechanism, buyers model other buyers and select the most trustworthy ones as their neighbors from which they can ask advice about sellers. In addition, however, sellers model the reputation of buyers. Reputable buyers provide fair ratings of sellers, and are likely to be neighbors of many other buyers. Sellers will provide more attractive products to reputable buyers, in order to build their reputation. We discuss how a marketplace operating with our mechanism leads to better profit both for honest buyers and sellers. With honesty encouraged, our work promotes the acceptance of web-based agent-oriented e-commerce by human users.
Usability Evaluation of Mp3/CD Players: A Multi-Criteria Decision Making Approach
Authors: Ergün Eraslan
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Globalization and the competition obliged the user-oriented design today. In the last years, usability has become a highly important research subject. Usability, considering user satisfaction along with the user performance, is one of the key factors in determining the success of a product in today's competitive market. Product usability is a prerequisite for high customer satisfaction and future sales of companies. Mp3 players and portable CD players are selected for this study since usability is highly important for them. Designing a usable mp3 or CD player is extremely important for users who have close interaction with them. In this study, 14 different mp3/CD players are selected and their usability is analyzed. The usability criteria used in the mp3/CD players' evaluation are divided into two major categories: performance and emotional expectations. The best alternative is determined with three different multi-criteria decision making methods which are TOPSIS, Analytic Hierarchy Process (AHP), and Fuzzy Axiomatic Design Theory (FADT). Although the same data obtained from semantic differential experiment are used for all multi-criteria decision making methods, different rankings are obtained from each method.
Introduction to Algorithms, Third Edition, 3rd edition
Authors: Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein
Venue:  (2009)

If you had to buy just one text on algorithms, Introduction to Algorithms is a magnificent choice. The book begins by considering the mathematical foundations of the analysis of algorithms and maintains this mathematical rigor throughout the work. The tools developed in these opening sections are then applied to sorting, data structures, graphs, and a variety of selected algorithms including computational geometry, string algorithms, parallel models of computation, fast Fourier transforms (FFTs), and more. This book's strength lies in its encyclopedic range, clear exposition, and powerful analysis. Pseudo-code explanation of the algorithms coupled with proof of their accuracy makes this book is a great resource on the basic tools used to analyze the performance of algorithms.
Does Health Related Quality of Life Differ between People with Chronic Mental Illness Who Use Computers and Those Who Do Not?
Authors: Yan-Hua Huang, I-Ju Su
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)

Occupational therapists are increasingly interested in promoting quality of life and digital divides in people with chronic mental illness. This study aims to compare quality of life between people with chronic mental illness who use and do not use computer. Twenty-four participants were recruited from a medical center in northern Taiwan. Two assessments were used including 1) a Quality of life questionnaire (WHOQOL-BREF Taiwan) and 2) a questionnaire relating to computer and internet use developed specifically for this study. The results show that there was a statistically significant difference in environment domain of quality of life between people who use computers and people who do not use computers in their daily life (p=.029). There was no statistically significant difference in the physical, psychological and social relationship domains of quality of life. Occupational therapists may help people with chronic mental illness to engage in meaningful activities through using the computer as ordinary part of their daily lives and in order to improve their perception of quality of life.
Modelling control in generation
Authors: Roger Evans, David Weir, John Carroll, Daniel Paiva, Anja Belz
Venue: Proceedings of the Eleventh European Workshop on Natural Language Generation (2007)

In this paper we present a view of natural language generation in which the control structure of the generator is clearly separated from the content decisions made during generation, allowing us to explore and compare different control strategies in a systematic way. Our approach factors control into two components, a 'generation tree' which maps out the relationships between different decisions, and an algorithm for traversing such a tree which determines which choices are actually made. We illustrate the approach with examples of stylistic control and automatic text revision using both generative and empirical techniques. We argue that this approach provides a useful basis for the theoretical study of control in generation, and a framework for implementing generators with a range of control strategies. We also suggest that this approach can be developed into tool for analysing and adapting control aspects of other advanced wide-coverage generation systems.
ELEIN: E-Learning with 3D Interactive Emotional Agents
Authors: Amalia Ortiz, David Oyarzun, María Puy Carretero
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

The ELEIN system reached two important issues for e-Learning: the presence of virtual tutors and the importance of emotions in the learning process. In this research we deal with the presence by means of using an expressive 3D animated avatar. Regarding the emotions in the learning process, we differentiate between static and dynamic generation of emotions. In the paper, we specially detailed the development of the dynamic generation, which is achieved by means of the implementation of a computational emotional model based on the cognitive perspective.
Multidisciplinarity and 21st century communication design
Authors: Brad Mehlenbacher
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

This paper addresses recent calls for the importance of multidisciplinary research and action in communication design. The impetus for multidisciplinary perspectives toward communication design is technological change, rapid developments in work products and processes, and the perception that emerging issues in the workplace demand additional competencies and knowledge. Terminology related to multidisciplinarity, such as disciplinarity, cross-disciplinarity, interdisciplinarity, and transdisciplinarity, is defined. Since ACM SIGDOC members are distributed across academic and nonacademic fields and institutions, the focus will be on discipline as epistemology and as language with the goal of explicating common frameworks and terminology for better articulating communication design and work.
A Multi-core Architecture Based Parallel Framework for H.264/AVC Deblocking Filters
Authors: Sung-Wen Wang, Shu-Sian Yang, Hong-Ming Chen, Chia-Lin Yang, Ja-Ling Wu
Venue: Journal of Signal Processing Systems (2009)

Deblocking filter is one of the most time consuming modules in the H.264/AVC decoder as indicated in many studies. Therefore, accelerating deblocking filter is critical for improving the overall decoding performance. This paper proposes a novel parallel algorithm for H.264/AVC deblocking filter to speed the H.264/AVC decoder up. We exploit pixel-level data parallelism among filtering steps, and observe that results of each filtering step only affect a limited region of pixels. We call this "the limited propagation effect". Based on this observation, the proposed algorithm could partition a frame into multiple independent rectangles with arbitrary granularity. The proposed parallel deblocking filter algorithm requires very little synchronization overhead, and provides good scalability. Experimental results show that applying the proposed parallelization method to a SIMD optimized sequential deblocking filter achieves up to 95.31% and 224.07% speedup on a two-core and four-core processor, respectively. We have also observed a significant speedup for H.264/AVC decoding, 21% and 34% on a two-core and four-core processor, respectively.
A Reusable Model for Data-Centric Web Services
Authors: Iman Saleh, Gregory Kulczycki, M. Brian Blake
Venue: Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering (2009)

Service-oriented computing (SoC) promotes a paradigm where enterprise applications can be transformed into reusable, network-accessible software modules or services (i.e. Web services). In many cases, existing concrete applications can be wrapped to perform within the SoC environment by (1) converting their required input data and output provisions into XML-based messages (e.g. SOAP) and (2) specifying the newly-created services using other XML-based software specifications (e.g. WSDL). In addition, enterprise organizations also devise natural language specifications to describe the service capability. Unfortunately, consumers of these capabilities often misinterpret the data requirements for using the underlying services. In this paper, we propose a generic model for data-centric Web Services that aids formal specification of service-data interactions and provides practical and verifiable solutions to eliminate data ambiguity and promote service reusability.
1.25-Approximation Algorithm for Steiner Tree Problem with Distances 1 and 2
Authors: Piotr Berman, Marek Karpinski, Alexander Zelikovsky
Venue: Proceedings of the 11th International Symposium on Algorithms and Data Structures (2009)

Given a connected graph G = (V,E) with nonnegative costs on edges, $c:E\rightarrow {\mathcal R}^+$, and a subset of terminal nodes R ¿ V, the Steiner tree problem asks for the minimum cost subgraph of G spanning R. The Steiner Tree Problem with distances 1 and 2 (i.e., when the cost of any edge is either 1 or 2) has been investigated for long time since it is MAX SNP-hard and admits better approximations than the general problem. We give a 1.25 approximation algorithm for the Steiner Tree Problem with distances 1 and 2, improving on the previously best known ratio of 1.279.
Learning multi-linear representations of distributions for efficient inference
Authors: Dan Roth, Rajhans Samdani
Venue: Machine Learning (2009)

We examine the class of multi-linear representations (MLR) for expressing probability distributions over discrete variables. Recently, MLR have been considered as intermediate representations that facilitate inference in distributions represented as graphical models.We show that MLR is an expressive representation of discrete distributions and can be used to concisely represent classes of distributions which have exponential size in other commonly used representations, while supporting probabilistic inference in time linear in the size of the representation. Our key contribution is presenting techniques for learning bounded-size distributions represented using MLR, which support efficient probabilistic inference. We demonstrate experimentally that the MLR representations we learn support accurate and very efficient inference.
OIF - An Online Inferential Framework for Multi-object Tracking with Kalman Filter
Authors: Saira Saleem Pathan, Ayoub Al-Hamadi, Bernd Michaelis
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

We propose an Online Inferential Framework (OIF) for tracking humans and objects under occlusions with Kalman tracker. The OIF is constructed on knowledge representation schemes, precisely semantic logic where each node represents the detected moving object and flow paths represent the association among the moving objects. A maximum likelihood is computed using our CWHI-based technique and Bhattacharyya coefficient. The proposed framework efficiently interprets multiple possibilities of tracking by manipulating the "propositional logic" on the basis of maximum likelihood at a time window. The logical propositions are built by formularizing facts, semantic rules and integrity constraints associated with tracking. The experimental results show that our novel OIF is able to track objects along with the interpretation of their physical states accurately and reliably under complete occlusion, illustrating its contribution and advantages over various other approaches. 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
Multiphase Segmentation of SAR Images with Level Set Evolution
Authors: Wang Xiaoliang, Li Chunsheng
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Segmentation is a fundamental problem for the automatic interpretation of synthetic aperture radar (SAR) images. We propose an improved multiphase segmentation method for SAR images based on Chan-Vese level set evolution model. The costly re-initialization procedure of signed distance function in Chan-Vese model is eliminated through introducing a penalty term. The proposed method has two advantages over traditional multiphase segmentation scheme with level set evolution. First, regions with close gray scale could be segmented into different class correctly by utilizing several binary segmentations of irregular regions. Second, falsely segmented fractions with one pixel width on the edges of uniform regions are eliminated with morphological open operation. The numerical algorithm using finite differences is also presented, which has been applied to simulated images and real SAR images with more promising results.