ppxscal/embedding_network huggingface dataset:
Via Detours to I/O-Efficient Shortest Paths
Authors: Ulrich Meyer
Venue: Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (2009)

During the winter semester 1996/1997 Kurt Mehlhorn gave a lecture series on algorithms for very large data sets. Towards the end he covered graph traversal problems like finding shortest paths on sparse graphs in external-memory. Kurt concluded the topic stating that there may not be much hope to solve these basic problems I/O-efficiently. The author, just about to finish his master's studies those days, took this as a challenge. The following paper reviews some detours, dead-ends, and happy ends of the author's still ongoing research on external-memory graph traversal. 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
Development Life-cycle of Critical Software Under FoCaL
Authors: Philippe Ayrault, Thérèse Hardin, François Pessaux
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Before their installation, critical systems must be assessed by an independent authority, who ensures that software components are really compliant with a set of requirements described in standards. Such standards describe the framework and the rules to be strictly followed along the development process. Moreover high levels of safety highly recommand the use of formal methods. In this paper, we examine how the FoCaL development environment can help to fulfil these requirements and to ease assessment. This tool aims to help all stages of critical software development, at least when formal methods are required (step-by-step specification and implementation, properties expressed by first-order formulae, proofs helped by automatic tool). Upon our experience as either software safety assessor or researchers in software engineering and formal methods, we propose a development life cycle adapted to the FoCaL specificity and compliant with independent assessment requirements, through a complete example. We show how features such as inheritance, late binding, redefinition, parametrisation, encapsulation and declarations/definitions, properties/theorems, whole development checked by an independent proof assistant and partially automatic documentation can be used to improve the global safety and the re-use of software components.
Low-complexity adaptive step size constrained constant modulus SG algorithms for adaptive beamforming
Authors: Lei Wang, Rodrigo C. de Lamare, Yun Long Cai
Venue: Signal Processing (2009)

In this paper, we propose two low-complexity adaptive step size mechanisms to enhance the performance of stochastic gradient (SG) algorithms for adaptive beamforming. The beamformer is designed according to the constrained constant modulus (CCM) criterion and the proposed mechanisms are employed in the SG algorithm for implementation. A complexity comparison is provided to show their advantages over existing methods, and a sufficient condition for the convergence of the mean weight vector is established. Theoretical expressions of the excess mean-squared error (EMSE), in both the steady-state and tracking cases, are derived based on the energy conservation approach. The effects of multiple access interference (MAI) and additive noise are considered. Simulation experiments are presented for both the stationary and non-stationary scenarios, illustrating that the proposed algorithms achieve superior performance compared with existing methods, and verifying the accuracy of the analyses.
The Application of Multi-agent Technologies in Distributed Ecosystem Process Simulation System GLOPEM-CEVSA
Authors: Dapeng Zhang, Zhongzhi Shi
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

The study of distributed intelligence primarily focuses on how logically or physically dispersed intelligent units cooperate to solve problems. As a main research content of distributed intelligence, multi-agent technologies have acquired development unceasingly since 1990s. More and more multi-agent technologies have been applied in DGIS (Distributed GIS). This paper introduces the main advantages of multi-agent technologies in DGIS. Then taking GLOPEMCEVSA, which is an ecosystem process simulation system based on coupling model of remote sensing and process, as example, it describes how to rapidly develop DGIS systems using Agent Grid Intelligent Platform (AGRIP)
BackupIT: An Intrusion-Tolerant Cooperative Backup System
Authors: Sérgio Raymundo Loest, Marcelo Cheminn Madruga, Carlos Alberto Maziero, Lau Cheuk Lung
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Reliable storage of large amounts of data is always a delicate issue. Availability, efficiency, data integrity, and confidentiality are some features a data backup system should provide. At the same time, corporate computers offer spare disk space and unused networking resources. In this paper, we propose an intrusion-tolerant cooperative backup system that provides a reliable collaborative backup resource by leveraging these independent, distributed resources. This system makes efficient use of network and storage resources through compression, encryption, and efficient verification processes. It also implements a protocol to tolerate Byzantine behaviors, when nodes arbitrarily deviate from their specifications. Experiments performed to evaluate the proposal showed its viability.
Haptically extended augmented prototyping
Authors: Mariza Dima, D. K. Arvind, John Lee, Mark Wright
Venue: Proceedings of the 7th IEEE/ACM International Symposium on Mixed and Augmented Reality (2008)

This project presents a new display concept, which brings together Haptics, Augmented and Mixed Reality and Tangible Computing within the context of an intuitive conceptual design environment. The project extends the paradigm of Augmented Prototyping by allowing modelling of virtual geometry on the physical prototype, which can be touched by means of a haptic device. Wireless tracking of the physical prototype is achieved in three different ways by attaching to it a ‘Speck’, a tracker and Nintendo Wii Remote and it provides continuous tangible interaction. The physical prototype becomes a tangible interface augmented with Mixed Reality and with a novel 3D haptic design system.
Multi-modal Interface in Multi-Display Environment for Multi-users
Authors: Yoshifumi Kitamura, Satoshi Sakurai, Tokuo Yamaguchi, Ryo Fukazawa, Yuichi Itoh, Fumio Kishino
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

Multi-display environments (MDEs) are becoming more and more common. By introducing multi-modal interaction techniques such as gaze, body/hand and gestures, we established a sophisticated and intuitive interface for MDEs where the displays are stitched seamlessly and dynamically according to the users' viewpoints. Each user can interact with the multiple displays as if she is in front of an ordinary desktop GUI environment.
Compensation of Translational Displacement in Time Series Clustering Using Cross Correlation
Authors: Frank Höppner, Frank Klawonn
Venue: Proceedings of the 8th International Symposium on Intelligent Data Analysis: Advances in Intelligent Data Analysis VIII (2009)

Although k-means clustering is often applied to time series clustering, the underlying Euclidean distance measure is very restrictive in comparison to the human perception of time series. A time series and its translated copy appear dissimilar under the Euclidean distance (because the comparison is made pointwise), whereas a human would perceive both series as similar. As the human perception is tolerant to translational effects, using the cross correlation distance would be a better choice than Euclidean distance. We show how to modify a k-means variant such that it operates correctly with the cross correlation distance. The resulting algorithm may also be used for meaningful clustering of time series subsequences, which delivers meaningless results in case of Euclidean or Pearson distance.
Downlink Capacity Analysis of Collaborative Crossed Timeslots in CDMA TDD Systems
Authors: Ki Won Sung, Chae Y. Lee, Kwang Hyuk Yim, Agnes Gravrand
Venue: Wireless Personal Communications: An International Journal (2009)

Traffic asymmetry between uplink and downlink is expected to be a remarkable 3G characteristic in cellular mobile multimedia communications. CDMA system with TDD is a good solution to this traffic asymmetry. However, the level of traffic asymmetry may be significantly different from a cell to another cell. To tackle this problem and to support the traffic hot spot, crossed slots are examined. The use of crossed slots is restricted within a certain range of a cell by investigating the inter-cell interference and the maximum planned load factor. We examine the radius of inner zone and discuss the capacity of downlink crossed slots for various neighbor cell environments. Computational results show that the capacity increase in the target cell is outstanding by reducing the service range of neighbor cells. When all six neighbors reduce their service range by 20%, the capacity at target cell crossed slot is increased by 35%. Monte Carlo simulation is performed with large scale fading to verify the numerical analysis.
Argumentation Context Systems: A Framework for Abstract Group Argumentation
Authors: Gerhard Brewka, Thomas Eiter
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

We introduce a modular framework for distributed abstract argumentation where the argumentation context, that is information about preferences among arguments, values, validity, reasoning mode (skeptical vs. credulous) and even the chosen semantics can be explicitly represented. The framework consists of a collection of abstract argument systems connected via mediators. Each mediator integrates information coming from connected argument systems (thereby handling conflicts within this information) and provides the context used in a particular argumentation module. The framework can be used in different directions; e.g., for hierarchic argumentation as typically found in legal reasoning, or to model group argumentation processes.
Complete CL, 5th edition
Authors: Ted Holt
Venue:  (2009)

Updated with the latest innovations to this quintessential programming language, the new edition of this comprehensive resource to Command Language (CL) covers all aspects of the language from basics to advanced topics. New functions have been added to CL by IBM and this manual provides detailed coverage on topics such as the INCLUDE command, new constants, overlaid variables, pointers and based variables, the Power System, and the new operating system IBM i. There is now a section on programming subroutines, with practices and examples, as well as explanations for file handling commands and techniques. 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
Application of SVM Based on Principal Component Analysis to Credit Risk Assessment in Commercial Banks
Authors: Weibin Feng, Yonggang Zhao, Jiajia Deng
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Credit risk assessment is a crucial area to commercial banks. It's important for banks to discriminate good creditors from bad ones. Support vector machine (SVM) has been applied to classification widely. However, if the index of the training data has much noise and redundancy, the generalized performance of SVM will be weakened, so this can cause some disadvantages of slow convergence speed and low classification accuracy. A SVM classification model based on principal component analysis (PCA-SVM) is presented in this paper, using principal component analysis to reduce the dimensionality of indexes, and then extract principal components to replace the original indexes, and both processing speed and classification accuracy will be improved. At last, apply this model to credit risk assessment, and it shows more generalized performance and better classification accuracy compared with the method of single SVM and BP neural networks.
A Method Creating Different Packet Loss Membership Function in Heterogeneous Network
Authors: Zhen Yanxiang, Su Fang, Xiang Huikan
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

The packet loss differentiating mechanism of TCP for heterogeneous network has the important influence to the stability of wireless network, relative one-way delay (ROD) of Loss Pair is adopted as the differentiating parameter to distinguish the packet loss pattern in reference [1]. The accuracy of this algorithm depends on ROD membership function. In order to differentiate packet loss pattern more accurately, the initialization method based on potential function is proposed by EM algorithm analysis, and the simulation result shows it is superior in convergence speed. Then the modified EM algorithm is applied in creating different packet loss membership function which congestion and wireless error coexist in the network. From the results of simulation, this algorithm has well distinguishing effects in the membership function of different packet loss pattern and practical application value.
Structured knowledge representation for image retrieval
Authors: Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Venue: Journal of Artificial Intelligence Research (2002)

We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of images containing complex objects. As other approaches do, we start from low-level features extracted with image analysis to detect and characterize regions in an image. However, in contrast with feature-based approaches, we provide a syntax to describe segmented regions as basic objects and complex objects as compositions of basic ones. Then we introduce a companion extensional semantics for defining reasoning services, such as retrieval, classification, and subsumption. These services can be used for both exact and approximate matching, using similarity measures. Using our logical approach as a formal specification, we implemented a complete client-server image retrieval system, which allows a user to pose both queries by sketch and queries by example. A set of experiments has been carried out on a testbed of images to assess the retrieval capabilities of the system in comparison with expert users ranking. Results are presented adopting a well-established measure of quality borrowed from textual information retrieval.
DiamondHelp: a collaborative task guidance framework for complex devices
Authors: Charles Rich, Candy Sidner, Neal Lesh, Andrew Garland, Shane Booth, Markus Chimani
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 4 (2005)

DiamondHelp is a reusable Java framework for building collaborative task guidance systems for complex devices, such as digitally enabled home appliances. DiamondHelp combines a generic conversational interface, adapted from online chat programs, with an application-specific direct manipulation interface. DiamondHelp provides "a things to say" mechanism for use without spoken language understanding; it also supports extensions to take advantage of speech technology. DiamondHelp's software architecture factors all application-specific content into two modular plug-ins, one of which includes Collagen and a task model.
Service Innovation in Spare Parts Logistics in the Business Aviation Industry
Authors: R. Klueber, H. McCann, R. Wehrle, T. Knopf
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

The challenges of establishing a global information and document exchange system are described in the case study of Jet Aviation. The context is the improvement of its spare parts supply chain with Fiege Logistics to expand its reach through Internet based software as a service (SaaS) solution. The resulting innovative solution has the capability to integrate several worldwide operating organizations with different IT infrastructures and environments to increase the total customer service.
Local Area Networks: High (Plains) Tech
Authors: Michael Geselowitz
Venue: IEEE Annals of the History of Computing (2009)

Although local technology museums around the world can indeed be hidden treasures, the movie treats this as a humorous incident showing the dullness of Nebraska. Of course, the filmmakers are being unfair not just to the social and cultural life in Lincoln and environs in general, but specifically to its wonderful museums, including the Sheldon Museum of Art and its Philip-Johnson-designed-gallery.at the University of Nebraska, and the Museum of Nebraska History. However, Annals readers will be more concerned if the value of the Woods Museum aside the filmmakers are giving short shrift to technological history in this important region. The answer, of course, is yes.
Visualising discourse structure in interactive documents
Authors: Clara Mancini, Christian Pietsch, Donia Scott
Venue: Proceedings of the Eleventh European Workshop on Natural Language Generation (2007)

In this paper we introduce a method for generating interactive documents which exploits the visual features of hypertext to represent discourse structure. We explore the consistent and principled use of graphics and animation to support navigation and comprehension of non-linear text, where textual discourse markers do not always work effectively.
Exploratory Study of Intra-Organizational Learning from Social Network Perspective within a Spanish Knowledge Intensive Company
Authors: Jesús David Sánchez de Pablo González del Campo, Miha kerlavaj, Fátima Guadamillas Gómez, Vlado Dimovski
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

Organizational learning is a research topic very relevant in strategic studies. Nevertheless, the way in which learning takes place in the firm constitutes one of the main gaps in research. For this reason, this paper wants to explain how learning occurs in a company. A case study of a Spanish high-tech company is used to explore the network perspective on intraorganizational learning. It expands the generalization of the network perspective to intra-organizational learning, as proposed by Škerlavaj and Dimovski (2006). We formulated four propositions based on an exploratory social network analysis. We provide additional arguments for the generalization of the research findings related to the importance of industry experience and company tenure as determinants of the key players in learning networks. The novel contribution of this study relates to the complementarity of knowledge as a tie generator and shows the importance of cross-departmental knowledge flows in projects.Moreover, similarity in terms of experiential level and physical proximity creates opportunities to learn. From a practice-oriented perspective, this study offers tools for detecting the most important employees in a firm from a learning viewpoint.
Predicting appropriate semantic web terms from words
Authors: Lushan Han, Tim Finin
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 3 (2008)

The Semantic Web language RDF was designed to unambiguously define and use ontologies to encode data and knowledge on the Web. Many people find it difficult, however, to write complex RDF statements and queries because doing so requires familiarity with the appropriate ontologies and the terms they define. We describe a system that suggests appropriate RDF terms given semantically related English words and general domain and context information. We use the Swoogle Semantic Web search engine to provide RDF term and namespace statistics, the WorldNet lexical ontology to find semantically related words, and a naïve Bayes classifier to suggest terms. A customized graph data structure of related namespaces is constructed from Swoogle's database to speed up the classifier model learning and prediction time.
An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements
Authors: Gang Yu, Zhong wei Xu, Jun wei Du
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Safety is a very important property for safetycritical software systems. We introduce an approach to test safety-critical software systems based on safety requirement by using model-based testing. The model is extracted from the safety requirement and system under test. In our approach, we use model checking techniques to generate test cases. To find appropriate test cases in less time, we divide the states spaces of model into different subsets. By using the approach, we have designed an automatic testing framework and developed an automatic testing platform, which has been used for testing the safety of high speed train control system in china
Comparison Research between XY and Odd-Even Routing Algorithm of a 2-Dimension 3X3 Mesh Topology Network-on-Chip
Authors: Wang Zhang, Ligang Hou, Jinhui Wang, Shuqin Geng, Wuchen Wu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

The Network-on-Chip (NoC) has been recognized as a paradigm to solve System-on-Chip (SoC) design challenges. The routing algorithm is one of key researches of a NoC design. XY routing algorithm, which is a kind of distributed deterministic routing algorithms, is simple to be implemented. Odd-Even (OE) routing algorithm, whose implementation is complex, is a sort of distributed adaptive routing algorithms with deadlock-free ability. We demonstrate the two routing algorithms in details at first. XY routing algorithm and OE routing algorithm are then simulated and compared based on a 3X3 mesh topology NoC with NIRGAM simulator. The simulation results show that OE routing algorithm, whose P parameter equals to 1.09, increases P parameter greatly as compared to XY routing algorithm, whose P parameter equals to 0.86, in a 2-dimension 3X3 mesh topology NoC, with Constant Bit Rate (CBR) traffic condition of each tail.
Virtualization as a Strategy for Maintaining Future Access to Multimedia Content
Authors: Knut Holmqvist, Till Halbach, Thor Kristoffersen
Venue: Proceedings of the 2009 First International Conference on Advances in Multimedia (2009)

Virtualization and emulation techniques are getting better and better, and it feels thus natural to apply them to address the problem of data preservation for future content access. In this paper, we virtualized a number of existing servers and clients and ran the virtual machines under VMware's hypervisor. Not all of the investigated operating systems could be virtualized successfully, and even with successful conversions often settings had to be reconfigurated, and support for particular devices had to be added manually. It is concluded that many operating systems are not flexible enough to allow for a problem-free conversion to a virtual machine.