ppxscal/embedding_network huggingface dataset:
Safety and Liveness in Intelligent Intersections
Authors: Hemant Kowshik, Derek Caveney, P. R. Kumar
Venue: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (2008)

Automation of driving tasks is becoming of increasing interest for highway traffic management. Technologies for on-board sensing, combined with global positioning and inter-vehicular wireless communications, can potentially provide remarkable improvements in safety and efficiency. We address the problem of designing intelligent intersections where traffic lights and stop signs are removed, and cars negotiate the intersection through a combination of centralized and distributed decision making. Such intelligent intersections are representative of complex distributed hybrid systems which need architectures and algorithms with provable safety and liveness.We propose a hybrid architecture which involves an appropriate interplay between centralized coordination and distributed freedom for the cars. Our approach is based on each car having an open-loop infinite horizon contingency plan, which is updated at each sampling time in a distributed fashion. We also define a partial order relation between cars which specifies to each car a set of cars whose worst case behaviors it should guard against. We prove the safety and liveness of the overall scheme. Concerning performance, we conduct a simulation study that shows the benefits over stop signs and traffic lights.
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment
Authors: Hongwei Huo, Vojislav Stojkovic
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

The paper presents a two-phase quantum based evolution algorithm for multiple sequence alignment problem,called TPQEAlign. TPQEAlign uses a new probabilistic representation, qubit, that can represent a linear superposition of individuals of solutions. Combined with strategy for the optimization of initial search space, TPQEAilgn is proposed as follows. It consists of two phases. In the first phase, a promising initial value is searched and stored. Each local group has a different value of qubit from other local groups to explore a different search space each. In the second phase, we initialize the population using the stored resulting obtained in the first phase. The effectiveness and performance of TPQEAlign are demonstrated by testing cases in BAliBASE. Comparisons were made with the experimental results of QEAlign and several popular programs, such as CLUSTALX and SAGA. The experiments show that TPQEAlign is efficient and competent with CLUSTALX and SAGA.
Image-Adaptive Watermarking Using the Improved Signal to Noise Ratio
Authors: Xinshan Zhu
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

The two conflicting requirements of watermark invisibility and robustness are both required in most applications. The solution is to utilize a suitable perceptual quality metric (PQM) for watermarking correctly. This paper develops a new quality metric, the improved signal to noise ratio (iSNR). The improvement is done in the following two aspects: 1) SNR manifests much better performance in an image block of small size than in a whole image; 2) the average luminance and gradient information are added into SNR. Next, we propose a new adaptive watermarking framework based on the localized quality evaluation, which divides the cover data into nonoverlapping blocks and assigns an independent distortion constraint to each block to control the quality of it. In comparison with ones based on the global quality evaluation, the new one exploits the localized signal characteristics sufficiently while guaranteeing the localized watermark invisibility. Then, a specific implementation of the above framework is developed for image applying iSNR as the quality metric in the sense of maximizing the detection value. Experimental results demonstrate that the proposed watermarking performs very well both in robustness and invisibility.
Access Control for XML Document
Authors: Yun Bai
Venue: Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence (2008)

The aim of this paper is to investigate the security issue of the XML documents. We discuss a protection mechanism for the XML documents; and investigate a knowledge based formal approach to ensure the security of web-based XML documents. Our approach starts by introducing a high level language to specify an XML document and its protection authorizations. We also investigate the syntax and semantics of the language. The flexible and powerful access control specification can effectively protect the documents from unauthorized attempts and malicious damages.
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
Venue: International Conference on Management of Data (2008)

The second SIGMOD Ph.D. Workshop on Innovative Database Research (IDAR), which is co-located with the 2008 ACM SIGMOD/PODS Conference, was held in Vancouver, Canada on June 13, 2008. The workshop provides a forum for Ph.D. students, who are working on topics related to the SIGMOD conference series, to present, discuss, and receive feedback on their research. This year's workshop features 7 paper presentations which were selected from a total of 14 research submissions. In addition, the workshop program includes a keynote address by Prof. Michael Benedikt.
Towards Standards-Based Processing of Digital Elevation Models for Grid Computing through Web Processing Service (WPS)
Authors: Sandra Lanig, Arne Schilling, Beate Stollberg, Alexander Zipf
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

Digital Elevation Models (DEM) and 3D spatial data plays an important role in typical earth science applications. Numerous simulations, e.g. flood modeling, and spatial analysis, requires very exact terrain data. During the acquisition of these data, for an example by means of laserscanning, very large data sets results due to the high measuring point density (up to four points per square meter). Current classical Geo-Information-System (GIS) software cannot manage the demand of processing and analyzing these massive raw terrain data. A lack of computing power may appear. There is a need for sophisticated data processing techniques. For this purpose the use of Grid Computing is a good choice to accomplish high processing performance and storage capacity. To process these massive raw geodata we develop a range of terrain Web Processing Services (WPS) which are made available as Grid services.
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
Authors: P. J. Cuijpers, M. A. Reniers
Venue: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (2008)

Recently, hybrid-time flow systems have been introduced as an extension to timed transition systems, hybrid automata, continuous time evolutions of differential equations etc. Furthermore, a number of notions of bisimulation have been defined on these flow systems reflecting abstraction from certain timing properties. In this paper, we research the difference in abstraction level between this new semantic model of flow systems, and the more traditional model of real-time transition systems. We explore translations between the old and new semantic models, and we give a necessary and sufficient condition, called finite-set refutability, for these translations to be without loss of information. Finally, we show that differential inclusions with an upper-semicontinuous, closed and convex right-hand side, are finite-set refutable, and easily extend this result to impuls differential inclusions and hybrid automata.
Knowledge-Based Grid Workflow System
Authors: Marian Babik, Michal Laclavik, Zoltan Balogh, Ladislav Hluchy, Ondrej Habala
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

In this paper we present design and development of the grid workflow system based on the semantic grid services. We will highlight the process of the discovery and composition of grid and web services into workflows and semantic technologies supporting the users during the workflow composition and evaluation of the results [13]. We will describe in detail the challenges of the design and development of the semantic grid service model, which is based on the Web Service Resource Framework (WSRF) and the Web Service Ontology (OWL-S). Semantic descriptions of the WSRF services as well as mapping of such descriptions to the workflow model will be presented. Further, we will demonstrate how experience management solutions can help in the process of service discovery and user support. The system provides a unique bottom-up approach in the Semantic Grids by combining the advances of semantic web services and grid architectures [1].
Toward the Ultimate ASR Language Model
Authors: Frederick Jelinek, Carolina Parada
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

The n-gram model is standard for large vocabulary speech recognizers. Many attempts were made to improve on it. Language models were proposed based on grammatical analysis, artificial neural networks, random forests, etc. While the latter give somewhat better recognition results than the n-gram model, they are not practical, particularly when large training data bases (e.g., from world wide web) are available. So should language model research be abandoned as a hopeless endeavor? This talk will discuss a plan to determine how large a decrease in recognition error rate is conceivable, and propose a game-based method to determine what parameters the ultimate language model should depend on.
An Embedded Software Testing Tool Supporting Multi-paradigm Views
Authors: Yongyun Cho, Jaeyoung Choi
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

Because embedded software is necessarily required to control and operate devices in ubiquitous environments, developers can use a development tool in order to make their embedded software efficient. In this paper, we propose an embedded software testing tool, which supports graphical debugging views of multi paradigms. The tool can improve the efficiency of embedded software through performance testing. The tool provides not only various profiling but also a source-level testing and a unit testing with the graphical views. The tool includes a test suite generator to easily make a test driver, and a report generator to raise reusability of test results by representing string-type results to XML classes. With the tool, developers not only can intuitively analyze functions of embedded software, but also easily improve performance of the software. The tool will be useful for developing and testing embedded software in ubiquitous computing environments.
Improvement of Efficiency in (Unconditional) Anonymous Transferable E-Cash
Authors: Sébastien Canard, Aline Gouget, Jacques Traoré
Venue: Financial Cryptography and Data Security: 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers (2008)

The practical advantage expected from transferable e-cash compare to non-transferable is the significant reduction of the interaction number between the bank and the users. However, this property is not fulfilled by anonymous transferable e-cash schemes of the state-of-the art. In this paper, we first present a transferable e-cash scheme with a reduced number of communications between the bank and the users that fulfils the computational anonymity property. Next, we present a transferable e-cash scheme with a reduced interaction number that fulfils the unconditional anonymity. This latter scheme is quite less efficient.
Hot Spot Analysis: Improving a Local Indicator of Spatial Association for Application in Traffic Safety
Authors: Elke Moons, Tom Brijs, Geert Wets
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

As in most European countries, traffic safety has become top priority in the National Safety Plan in Belgium. The first phase in every safety analysis concerns the identification of the hazardous locations. In this respect, a local indicator of spatial association (Moran's I) is improved and applied to determine hot spots locations on highways in Limburg, a province in Belgium. However, the analysis is complicated by the fact that accident data have a very specific nature: they form a Poisson random process rather than a Gaussian random process and they are prone to sparseness. Therefore, the well-established indicator needs some adaptations and simulations are required to determine the underlying distribution of Moran's I. This paper emphasizes the importance of using a correct distribution and indicates what could go wrong otherwise e.g. at policy level.
The role of virtualization in embedded systems
Authors: Gernot Heiser
Venue: Proceedings of the 1st workshop on Isolation and integration in embedded systems (2008)

System virtualization, which enjoys immense popularity in the enterprise and personal computing spaces, is recently gaining significant interest in the embedded domain. Starting from a comparison of key characteristics of enterprise systems and embedded systems, we will examine the difference in motivation for the use of system virtual machines, and the resulting differences in the requirements for the technology. We find that these differences are quite substantial, and that virtualization is unable to meet the special requirements of embedded systems. Instead, more general operating-systems technologies are required, which support virtualization as a special case. We argue that high-performance microkernels, specifically L4, are a technology that provides a good match for the requirements of next-generation embedded systems.
Process/Product Model: Status and Open Problems
Authors: M. Nagl
Venue: Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project (2008)

In this section we give a summary and evaluation of what we have achieved w.r.t. the PPM. Especially, we discuss the open problems still to be solved. The message is that there are a lot of nice results, but there has also a lot to be done in order to get a uniform and comprehensive PPM. 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
BSmart: A Tool for the Development of Java Card Applications with the B Method
Authors: David Déharbe, Bruno Gomes, Anamaria Moreira
Venue: Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008)

A smart card is a portable computer device able to store data and execute commands. Java Card [1] is a specialization of Java, providing vendor inter-operability for smart cards, and has now reached a de facto standard status in this industry. The strategic importance of this market and the requirement for a high reliability motivate the use of rigorous software development processes for smart card aware applications based on the Java Card technology. The B method [2] is a good candidate for such process, since it is a formal method with a successful record to address industrial-level software development. In [3,4], we proposed two versions of a Java Card software development method (called BSmart) based on the B method. The main feature of these methods is to abstract the particularities of smart card systems to the applications developers as much as possible. This abstract presents the current version of a tool, also called BSmart, to support the method. The tool provides the automatable steps required by the method and some guidelines and library machines that are useful during the development process. It includes B development tools (type checker, PO generator) and specific BSmart tools (refinement generator, Java Card translator, etc.). In this approach, the card services specifier only needs to apply some refinement steps to his abstract (implementation platform independent) B specification. The generation of these refinements adapts the specification to Java Card standards and introduces platform specific aspects gradually. Finally, from the concrete B refinements the Java Card code implementing the services provided by the card will be automatically generated by the tool. The tool also provides the generation of a Java API for the host-side application from the original abstract specification, encapsulating all the communication protocol details. Thus, the client application code can then be developed in a completely platform independent way. The definition of the method is in a mature stage, and our attention is now focused on the implementation of more robust versions of the BSmart tools and packaging them in a user-friendly environment. The integration of verification and animation tools is also planned for a next release of the tool.
Contact resistance and temperature optimizations for high copper alloys used in electrical contacts
Authors: R. El Abdi, N. Benjemaa
Venue: Proceedings of the 7th WSEAS International Conference on Application of Electrical Engineering (2008)

The purpose of this paper is to present an experimental and a numerical study of simple geometries representing the electrical contact in automotive connectors (a sphere-plane and cylinder-plane electrical contact) when a current passes through them. High copper alloys were used to improve mechanical and electrical connector behaviour. Changes in the electrical contact resistance versus force in the range of 1-100N for different sizes and geometries were studied. The designed samples were subjected to indentation (static contact). The temperature evolution for different copper alloys was studied for different forces and currents. The temperature reached near the contact area, between two solids constituting the contact, is a significant parameter to indicate the damage level. However, it is very difficult to know the inner temperatures. A finite element simulation code including the roughness contact surface profile was carried out in order to obtain the internal temperatures. The numerical results were in agreement with the experimental results. On the other hand, a numerical size optimization was carried out to obtain the resistance gain or the volume gain with mechanical, geometrical and physical constraints. The obtained results are a useful tool for finding a compromise between the electrical and mechanical aspects for a power connector and to help manufacturers to decrease the weight and the electrical contact of their connectors.
Evaluation of some railway car and tracks characteristics by vibration measurements
Authors: Daniel Catalin Baldovin, Dan Dumitriu, Ana-Maria Mitu
Venue: Proceedings of the 9th WSEAS International Conference on Acoustics & Music: Theory & Applications (2008)

The paper analyses a railway vehicle dynamics by considering the vertical accelerations of the axle, bogie and coach body or three orthogonal coach body accelerations measured simultaneously on the last carriage of a passenger train. The time histories of dynamic wheel-rail contact force are obtained approximately from a model of an oscillating system with three masses. Also there can be estimated the spectral power density of the accelerations determined by the measurements and the power spectral density of the rail vertical irregularities by theoretical and experimental way. The results of this paper are obtained by processing with LABView program the recorded vibration signals for a railway car and provide information concerning the passenger's comfort level in comparison with the ISO 2631 curves of equal comfort.
Ab initio investigation on the nonlinear optical properties of silicon clusters Si$_{n}$ (n=3-8)
Authors: Benoît Champagne, Maxime Guillaume, Didier Bégué, Claude Pouchan
Venue: Journal of Computational Methods in Sciences and Engineering (2007)

First and second hyperpolarizabilities of small silicon clusters have been calculated using conventional ab initio methods systematically increasing the amount of electron correlation. Besides Si$_{5}$, upon successive addition of electron correlation in the MP2, MP3, MP4, CCSD, and CCSD(T) series, all clusters display the same behavior: i) the HF $&gamma; _{//}$ values are the smallest, ii) the MP2 $&gamma; _{//}$ values the largest, and iii) the latter values are good approximate to the reference CCSD(T) results because the overestimation is smaller than 10%. Contrary to the polarizability per Si atom, which decreases with the cluster size until reaching the bulk limit, the average second hyperpolarizability per Si atom presents a sawtooth behavior with maxima in $&gamma; _{//}$ associated with even numbers of Si and minima with odd numbers of Si atoms.
Human Computer Interaction and Communication Aids for Hearing-Impaired, Deaf and Deaf-Blind People: Introduction to the Special Thematic Session
Authors: Hans-Heinrich Bothe
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

This paper gives an overview and extends the Special Thematic Session (STS) on research and development of technologies for hearing-impaired, deaf, and deaf-blind people. The topics of the session focus on special equipment or services to improve communication and human computer interaction. The papers are related to visual communication using captions, sign language, speech-reading, to vibro-tactile stimulation, or to general services for hearing-impaired persons.
Visualizing Meaning: Literacy Materials for Dyslexic Children
Authors: Myra Thiessen
Venue: Proceedings of the 5th international conference on Diagrammatic Representation and Inference (2008)

Dyslexic children experience a difficulty in learning to read at a level that is expected from their level of intelligence. As dyslexia is commonly characterized by a deficit in phonemic processing, many literacy intervention programs focus on developing skills in this area. However, language is processed by two separate cognitive subsystems: the verbal (language) and the nonverbal (imaging) [3]. Having strengths in visual processing and problem-solving [7], dyslexic learners may be able to use these abilities inherent in the nonverbal subsystem to more easily acquire those skills related to the verbal subsystem, with which they typically struggle. It is suggested here that common teaching strategies that pair concrete nouns with simple and literal visual explanations may be used to teach more complex verbal concepts to children with dyslexia. As verbal information becomes more demanding, it is likely that visual explanations will also become more complex. It is therefore important to understand how visual cues can be used to reduce ambiguity and to create meaning in visual explanations. Current research is exploring how children with reading difficulties use, read and interact with visual information. Through both preference and performance testing, the ways in which visual explanations can be used in the literacy education of dyslexic children will be investigated. 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