ppxscal/embedding_network huggingface dataset:
Hybrid Ant Colony Algorithm Based on Vehicle Routing Problem with Time Windows
Authors: Yuhua Zhu, Tong Zhen
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

Vehicle routing problem with time windows (VRPTW) is an NP-complete optimization problem. The objective of VRPTW is to use a fleet of vehicles with specific capacity to serve a number of customers with fixed demand and time window constraints. A hybrid ant colony system (DSACA-VRPTW) is proposed to solve this problem. Firstly, each ant’s solution might be improved by dynamic sweep Algorithm which makes improvement to the solutions by grouping the customers. Then a new improved ant colonies technique is proposed, after all colonies are in the state of stagnation, communication among them is carried out in order to do favor to leave the local peaks. Finally, Solomon’s benchmark instances (VRPTW 100-customer) are tested for the algorithm and shows that the DSACA is able to find solutions for VRPTW.
Intuitionistic fuzzy Lie sub-superalgebras and intuitionistic fuzzy ideals
Authors: Wenjuan Chen, Shunhua Zhang
Venue: Computers Mathematics with Applications (2009)

In this paper, the concepts of intuitionistic fuzzy sets are introduced to Lie superalgebras. Intuitionistic fuzzy Lie sub-superalgebras and intuitionistic fuzzy ideals of Lie superalgebras are defined and related properties are investigated. As the applications of intuitionistic fuzzy Lie sub-superalgebras and intuitionistic fuzzy ideals, the properties of intuitionistic fuzzy Lie sub-superalgebras and intuitionistic fuzzy ideals under homomorphisms of Lie superalgebras are studied. The intuitionistic fuzzy bracket product is also introduced and its characterization is established.
New Smith Predictor and RBF Neural Network Control for Networked Control Systems
Authors: Wencai Du, Feng Du, Yukuan Du, Youling Zhou, Baodan Chen
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

This paper aims to the random and uncertain network delay, as well as controlled plant might be time-variant or nonlinear, a novel approach is proposed that novel Smithpredictor combined with the radial basis function neural network (RBFNN) control for the networked control systems (NCS). This novel Smith predictor comes true tohide predictor models of the network delays of the forward and return paths into real network data transmission processes, therefore network delays don’t need to be measured, identified or estimated on-line. It is applicable to some occasions that the network delays are larger than one, even tens of sampling periods. Based on CSMA/CD (Ethernet), the results of simulation show validity of this control scheme, and indicate that system has better dynamic performance and anti-jamming ability.
A Novel Bit Synchronization Algorithm Design in Position System
Authors: Feng Mingfa, Wang Yang
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Synchronization is one of the most important parts in the radio digital communication system, which can decide the performance of communication system. We design one novel bit synchronization algorithm, which can compute initial error within pre-set code cells' period. In the low speed radio digital communication system such as specified position system, the synchronization algorithm proposed can ensure the system catching time predicable and stable. In simulation, we set the initial error compute period as 12 code cells in three SNR conditionings, no noise, -10dB SNR, and -20dB SNR. In all three conditions, this algorithm can compute correct initial error every time. The simulation results prove that this algorithm can compute valid initial error within pre-set code cells period, which is especially suited for bit synchronization in low speed radio digital communication system.
Elastic mobility: stretching interaction
Authors: Lucia Terrenghi, Thomas Lang, Bernhard Lehner
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Based on a consideration of usage and technological computing trends, we reflect on the implications of cloud computing on mobile interaction with applications, data and devices. We argue that by extending the interaction capabilities of the mobile device by connecting it to external peripherals, new mobile contexts of personal (and social) computing can emerge, thus creating novel contexts of mobile interaction. In such a scenario, mobile devices can act as context-adaptive information filters. We then present Focus, our work in progress on a context-adaptive UI, which we can demonstrate at the MobileHCI demo session as a clickable dummy on a mobile device.
Research on Heterogeneous Data Integration in the Safety Production and Management of Coal-Mining
Authors: Xiao-bing Han, Feng Tian, Feng-bo Wu
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

In order to achieve the integration interactive of heterogeneous data in the safety production management used by coal-mining enterprises, effectively improve the enterprise's mining safety and management. Through analyzing the heterogeneous data in mining safety and management, on the basis of XML based business model of heterogeneous data integration, formed coal-mining safety management in heterogeneous data integration framework, succeed in making converse between relative data and XML. We used XML and Javabean, designed and achieved function in the application layer. By analyzing the query results of system running and return, the system solved the heterogeneous data integration in the safety production management of coal-mining.
A Design and Training Agenda for the Next Generation of Commercial Aircraft Flight Deck
Authors: Don Harris
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

To maximize cost efficiencies the design of the modern commercial airliner flight deck must change quite radically. However, these efficiencies cannot be realized unless there are concomitant changes in the rest of the system, and in particular, the training aspect. This paper proposes a radical design agenda for the flight deck and outlines how efficiencies can be gained through a careful re-alignment and re-appraisal of the training requirements to operate this aircraft.
Faces of Privacy: Effect of Culture and Context
Authors: Kari-Jouko Räihä, Saila Ovaska
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

We repeated in Finland a study on privacy concerns originally carried out in the USA. The results suggest that there are cultural differences in the willingness of people to reveal privacy-sensitive information.
Value of Using Multimodal Data in HCI Methodologies
Authors: Jhilmil Jain
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

In this paper, I will discuss two HCI methodologies, diary study and affinity diagramming, that were carried out using multimodal data such as images, audio, video, annotated media along with the traditional use of text. I will discuss a software solution that was developed at HP Labs to conduct a multimodal diary study using three touch points: PCs, mobile devices and any type of landline/cellular phone. This will be followed by a discussion on how Microsoft StickySorter software was used to conduct multimodal affinity diagramming exercises.
A New Square-Error-Regularized NLMS
Authors: Hsu-Chang Huang, Junghsi Lee
Venue: Proceedings of the Advances in Electrical and Electronics Engineering - IAENG Special Edition of the World Congress on Engineering and Computer Science 2008 (2008)

The purpose of a variable step-size normalized LMS (VSS-NLMS) filter is to solve the problem of fast convergence or low mis-adjustment. While most VSS-NLMS algorithms need to tune several parameters for better performance, we introduced a tuning-free square-error-based VSS-NLMS algorithm recently [4]. In this paper, we propose a more general structure of that of [4], the generalized square-error-regularized LMS (GSER-LMS) algorithm. Extensive simulation results demonstrate that our GSER-LMS algorithm outperforms several existing schemes in speed of convergence, tracking ability, and low mis-adjustment.
An Intranet based system as an enabler in effective project management and implementation of quality standards: A case study
Authors: Zahid Hussain, Kevin Barber, Naveed Hussain
Venue: Journal of Engineering and Technology Management (2009)

This paper reports on the development of an Intranet based system, as an enabler in project management and implementation of a quality standard (ISO9001:2000) at Tyco Fire & Integrated Solutions Oil Gas & Marine Europe, a subsidiary of Tyco International a worldwide Engineering Conglomerate, (Referred to as TFIS). The system enabled stakeholders to follow standard project protocols, playing an important role in creating integration between different sub-sections. This paper discusses the strategic relevance of the system in achieving desired business outcomes, by making the organisation more responsive, agile and increasing the accountability of stakeholders involved in managing projects.
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
Authors: Zuohua Ding
Venue: Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (2009)

Static analysis may cause state space explosion problem. In this paper we demonstrate how ordinary differential equations can be used to check the deadlocks and boundedness of the programs. We hope that our method can avoid explosion of state space entirely. A concurrent program is represented by a family of differential equations of a restricted type, where each equation describes the program state change. This family of equations are shown analytically to have a unique solution. Each program state is measured by a time-dependent function that indicates the extent to which the state can be reached in execution. It is shown that 1) a program deadlocks iff every state measure converges to either 0 or 1 as time increases. Thus instead of exploring states, the solution of a family of differential equations is analyzed. 2) a program is bounded iff every state measure converges to a bounded nonnegative number.
Reliability Analysis of Component Software Based on Testing Data Transformation
Authors: Chunyan Hou, Gang Cui, Hongwei Liu, Xiaozong Yang
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

We propose an approach of component-based software reliability analysis which includes the benefits of both time domain, and structure based approaches. This approach overcomes the deficiency of existing black box and white box techniques that fall short of addressing repair, and internal system structures simultaneously. Our solution adopts a method of testing data transformation to cover both methods, and is expected to improve reliability prediction. This paradigm starts with consideration of component-based software testing process in view of the assumption of NHPP models. It accounts for software structures by the way of modeling the testing process. According to the testing model it builds the mapping relation from the testing profile to the operational profile of component-based software which enables the testing data transformation to build the reliability dataset required by non-homogeneous Poisson process (NHPP) models. At last an example is evaluated to validate and show the effectiveness of this approach.
Optimizing anthrax outbreak detection using reinforcement learning
Authors: Masoumeh T. Izadi, David L. Buckeridge
Venue: Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2 (2007)

The potentially catastrophic impact of a bioterrorist attack makes developing effective detection methods essential for public health. In the case of anthrax attack, a delay of hours in making a right decision can lead to hundreds of lives lost. Current detection methods trade off reliability of alarms for early detection of outbreaks. The performance of these methods can be improved by modem disease-specific modeling techniques which take into account the potential costs and effects of an attack to provide optimal warnings. We study this optimization problem in the reinforcement learning framework. The key contribution of this paper is to apply Partially Observable Markov Decision Processes (POMDPs) on outbreak detection mechanism for improving alarm function in anthrax outbreak detection. Our approach relies on estimating the future benefit of true alarms and the costs of false alarms and using these quantities to identify an optimal decision. We present empirical evidence illustrating that the performance of detection methods with respect to sensitivity and timeliness is improved significantly by utilizing POMDPs.
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance
Authors: Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

Several computer-based approaches to Clinical Guidelines have been developed in the last two decades. However, only recently the community has started to cope with the fact that Clinical Guidelines are just a part of the medical knowledge that physicians have to take into account when treating patients. The procedural knowledge in the guidelines have to be complemented by additional declarative medical knowledge. In this paper, we analyse such an interaction, by studying the conformance problem, defined as evaluating the adherence of a set of performed clinical actions w.r.t. the behaviour recommended by the guideline and by the medical knowledge.
Reasoning from desires to intentions: a dialectical framework
Authors: Nicolás D. Rotstein, Alejandro J. García, Guillermo R. Simari
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a subset of the agent's desires containing only those that are achievable in the current situation. Different agents types can be defined in the framework affecting the way in which current desires are obtained. The agent is provided with a set of intention rules that specifies under what conditions an intention could be achieved. When more than one intention is present, a policy will be used to choose among them. Thus, intention policies provide the agent with a mechanism for deciding which intention is selected in the current situation. Several application examples will be given.
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations
Authors: Christian Choffrut, Juhani Karhumäki
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

We attack the problem of deciding whether a finite collection of finite languages is a code, that is, possesses the unique decipherability property in the monoid of finite languages. We investigate a few subcases where the theory of rational relations can be employed to solve the problem. The case of unary languages is one of them and as a consequence, we show how to decide for two given finite subsets of nonnegative integers, whether they are the n-th root of a common set, for some n ¿ 1. We also show that it is decidable whether a finite collection of finite languages is a Parikh code, in the sense that whenever two products of these sets are commutatively equivalent, so are the sequences defining these products. Finally, we consider a nonunary special case where all finite sets consist of words containing exactly one occurrence of the specific letter.
Clone detection via structural abstraction
Authors: William S. Evans, Christopher W. Fraser, Fei Ma
Venue: Software Quality Control (2009)

This paper describes the design, implementation, and application of a new algorithm to detect cloned code. It operates on the abstract syntax trees formed by many compilers as an intermediate representation. It extends prior work by identifying clones even when arbitrary subtrees have been changed. These subtrees may represent structural rather than simply lexical code differences. In several hundred thousand lines of Java and C# code, 20---50% of the clones that we find involve these structural changes, which are not accounted for by previous methods. Our method also identifies cloning in declarations, so it is somewhat more general than conventional procedural abstraction.
Design of Marine Information Metadata and Directory Service System Based on XML
Authors: Yongguo Jiang, Lianying Lu, Zhongwen Guo
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Referring to ISO 19115 and DIF standards, this paper presents a metadata standard draft of marine information based on XML, which can be implemented to describe, organize, store and manage the marine information. The metadata standard is represented in XML, which is easy to apply. And gives the details of main marine metadata XML elements. On this basis, the marine metadata directory service system based on Web Service is put forward, which aims to store and manage the marine metadata effectively.
Network Design Based on Closed-Loop Reverse Logistics Recycling
Authors: Meng Xiangru, Song Wei
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

With the people's attention to the product quality and the environmental protectionconsciousnessenhancement,thereverselogisticsstarttocause continuously attention of people. More and more scholars research the origin, the concept, the classification of the reverselogistics. At present there are some researches of the reverse logistics, however, these researches are restricted only in the theory, and are few to the practical application research. In the process of the engineering to the implementation of enterprise reverse logistics, we must grasp its essence, carry on the analysis and the design based on this foundation, so it can guarantee the reverse logistics system running highly effectively and accurately. This paper presents solutions to closed-loop network designing based on the traditional designing for logistics facility location and capacity allocation model and combined with characteristics of reverse logistics. An optimization model is replied on linear programming and the objective is to minimize the sum of investment and operation costs of logistics facilities as well as transportation and environment protection costs of returned products among the facilities. To explain the method for the network of facility location and capacity allocation by the model, an example is presented.
Adaptive wavelet rendering
Authors: Ryan S. Overbeck, Craig Donner, Ravi Ramamoorthi
Venue: ACM Transactions on Graphics (TOG) (2009)

Effects such as depth of field, area lighting, antialiasing and global illumination require evaluating a complex high-dimensional integral at each pixel of an image. We develop a new adaptive rendering algorithm that greatly reduces the number of samples needed for Monte Carlo integration. Our method renders directly into an image-space wavelet basis. First, we adaptively distribute Monte Carlo samples to reduce the variance of the wavelet basis' scale coefficients, while using the wavelet coefficients to find edges. Working in wavelets, rather than pixels, allows us to sample not only image-space edges but also other features that are smooth in the image plane but have high variance in other integral dimensions. In the second stage, we reconstruct the image from these samples by using a suitable wavelet approximation. We achieve this by subtracting an estimate of the error in each wavelet coefficient from its magnitude, effectively producing the smoothest image consistent with the rendering samples. Our algorithm renders scenes with significantly fewer samples than basic Monte Carlo or adaptive techniques. Moreover, the method introduces minimal overhead, and can be efficiently included in an optimized ray-tracing system.
A Quality of Service Based Mobility Management in Heterogenous Wireless Networks
Authors: Tara A. Yahiya, Hakima Chaouchi
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

Rapid progress in the research and development of wireless networking and communication technologies has created different types of wireless communication systems. Nevertheless, the integration of heterogeneous networks poses many challenges especially the problem of handover decision as resolving it influences mainly on the handover performance. In this paper, we introduce a handover decision algorithm based on Neyman-Pearson method and then we combine with Fast Mobile IPv6 protocol for mobility management. This combination enables an optimized and a seamless handover. In order to study the performance of our method, we choose to study two emerging technologies: WiFi based on IEEE 802.11e and Mobile WiMAX based on IEEE 802.16e standard. Numerical investigations illustrate that our proposed method enables a handover optimization in terms of (i) guaranteeing the quality of service parameters for different type of ongoing sessions during the handover, (ii) reducing handover latency and (iii) minimizing ping-pong effects.
The hidden information state dialogue manager: a real-world POMDP-based system
Authors: Steve Young, Jost Schatzmann, Blaise Thomson, Karl Weilhammer, Hui Ye
Venue: Proceedings of Human Language Technologies: The Annual Conference of the North American Chapter of the Association for Computational Linguistics: Demonstrations on XX (2007)

The Hidden Information State (HIS) Dialogue System is the first trainable and scalable implementation of a spoken dialog system based on the Partially-Observable Markov-Decision-Process (POMDP) model of dialogue. The system responds to n-best output from the speech recogniser, maintains multiple concurrent dialogue state hypotheses, and provides a visual display showing how competing hypotheses are ranked. The demo is a prototype application for the Tourist Information Domain and achieved a task completion rate of over 90% in a recent user study.
Learning static object segmentation from motion segmentation
Authors: Michael G. Ross, Leslie Pack Kaelbling
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

Dividing an image into its constituent objects can be a useful first step in many visual processing tasks, such as object classification or determining the arrangement of obstacles in an environment. Motion segmentation is a rich source of training data for learning to segment objects by their static image properties. Background subtraction can distinguish between moving objects and their surroundings, and the techniques of statistical machine learning can capture information about objects' shape, size. color, brightness, and texture properties. Presented with a new, static image, the trained model can infer the proper segmentation of the objects present in a scene. The algorithm presented in this work uses the techniques of Markov random field modeling and belief propagation inference, outperforms a standard segmentation algorithm on an object segmentation task, and outperforms a learned boundary detector at determining object boundaries on the test data.