ppxscal/embedding_network huggingface dataset:
Verification and Method Act Comparison of the Simulator and Emulator Result Based on NS-2
Authors: Ju-Young Shin, Jong-Wook Jang
Venue: Proceedings of the 2009 Fourth International Conference on Digital Telecommunications (2009)

The existing simulation tools that executeperformance analysis for handover algorithm in differentnetwork environments do not fully reflect the actual networkenvironments. This is where the necessity of emulator whoseoperation environment is built on hardware comes in. Thecomparative analysis between emulation node which is a realtimescheduler including Ping of NS-2 (Network Simulatorversion 2) Tool, which is the external Host and simulator ofnon-real-time scheduler of the existing simulator has beenperformed in this paper. The most significant difference is thatemulator can interlock with the packet of external realnetwork. The objectives of this paper are as follows: theidentical virtual network is constructed on NS-2, itsperformance is evaluated by simulation and emulation isdescribed.
Reaching Law Control for DC Motor Discrete Time Speed Control System
Authors: Qian Kun, Pang Xiangping, Tang Jixiang, Liu Kai
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Reaching Law Control (RLC) is an approach to Sliding Mode Control (SMC) design which is widely applied in the presence of model uncertainties, parameter fluctuations and external disturbances now. This paper proposes a RLC method using in DC motor discrete time speed control system and discusses the implementation problems and the robustness of the control approach in details. Since the discrete time analysis and design is more appropriate for the real applications, the design equations of RLC are derived in the discrete time. This design not only simplified the solution for SMC, but also provided a measure for the reduction of a high frequency oscillation about the desired equilibrium point. Simulation and experimental results demonstrate the effectiveness of this method, particularly for DC motor discrete time speed control system.
Stochastic filtering in a probabilistic action model
Authors: Hannaneh Hajishirzi, Eyal Amir
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Stochastic filtering is the problem of estimating the state of a dynamic system after time passes and given partial observations. It is fundamental to automatic tracking, planning, and control of real-world stochastic systems such as robots, programs, and autonomous agents. This paper presents a novel sampling-based filtering algorithm. Its expected error is smaller than sequential Monte Carlo sampling techniques given a fixed number of samples, as we prove and show empirically. It does so by sampling deterministic action sequences and then performing exact filtering on those sequences. These results are promising for applications in stochastic planning, natural language processing, and robot control.
Bayesian Analysis of Sub-plantar Ground Reaction Force with BSN
Authors: Benny Lo, Julien Pansiot, Guang-Zhong Yang
Venue: Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks (2009)

The assessment of Ground Reaction Forces (GRF) is important for gait analysis for sports, pathological gaits and rehabilitation. To capture GRF, force plates and foot pressure insoles are commonly used. Due to cost and portability issues, such systems are mostly limited to lab-based studies. Long-term, continuous and pervasive measurement of GRF is not feasible. This paper presents a novel concept of using an ear-worn sensor for pervasive gait analysis. By emulating the human vestibular system, the bio-inspired design sensor effectively captures the shock wave generated by the GRF. A hierarchical Bayesian network is developed to estimate the plantar force distribution from the ear sensor signals. The accuracy of the ear sensor for detecting GRF is demonstrated by comparing the results with a high-accuracy commercial foot pressure insole system.
Measuring User Performance for Different Interfaces Using a Word Processor Prototype
Authors: Tanya R. Beelders, Pieter J. Blignaut, Theo Mcdonald, Engela H. Dednam
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

Usability tests were conducted in order to establish the effect on user performance of different icon sets in a word processor. Both a set of alternative pictorial icons and text buttons were developed for a subset of word processor functions for comparison with the standard icons. In order to accommodate users in their home language the interface was available in English, Afrikaans and Sotho to determine whether usability of a product is increased when the users are allowed to interact with the product in their mother tongue rather than having to use the commonly available English interface. The scores obtained for completed tests as well as the time taken to complete tasks successfully were evaluated. Results indicate that neither icons nor language play a significant part in the usability of a product. In fact, the only significant contributor to user performance was the word processor expertise of the user.
Kerberos-Based Secure Multiagent Platform
Authors: Jose M. Such, Juan M. Alberola, Ana Garcia-Fornes, Agustin Espinosa, Vicent Botti
Venue: Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers (2009)

Security is becoming a major concern in Multiagent Systems (MAS), since an agent's incorrect or inappropriate behaviour may cause non-desired effects such as money and data loss. Moreover, the lack of security in some current MAS-based applications is one of the reasons why MAS technology is being slowly introduced into industry. However, adding security features such as authentication, integrity and confidentiality results in a performance penalty. In this paper, a security infrastructure for a Multiagent Platform (MAP) is presented. It is based on both the Kerberos protocol and the Linux Operating System access control. The design of this infrastructure is focused not only on security but also on efficiency so that the MAP being secured allows the development of secure and efficient Multiagent Systems.
Study on Single and Mixed Fleet Strategy for Multi-depot Vehicle Routing Problem with Backhauls
Authors: Ren Chunyu, Song Zhendong, Wang Xiaobo
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

The vehicle routing problem of logistics distribution is indispensability contents in logistics distribution optimization. In order to satisfy with the individual and various demand of customer, establish single and mixed fleet multi-depot vehicle routing problem with backhauls model. According to the characteristics of model, hybrid genetic algorithm is used to get the optimization solution. First of all, use hybrid coding so as to simplify the problem; construct the pertinence of initial solution to enhance the feasibility of solutions. Improved ordinal crossover operators can avoid destroying good gene parts so as that the algorithm can be convergent to the optimization as whole. The study adopts 2- exchange mutation operator to strengthen the partial searching ability of chromosome. This algorithm can offer the thought to settle the practical problem in scale. At the same time, it proves that mixed fleet strategy can shorten distribution distance, reduce distribution vehicle so as to reduce distribution cost and improve economic benefit.
On the Construction and Verification of Self-modifying Access Control Policies
Authors: David Power, Mark Slaymaker, Andrew Simpson
Venue: Proceedings of the 6th VLDB Workshop on Secure Data Management (2009)

Typically, access control policies are either static or depend on independently maintained external state to achieve some notion of dynamism. While it is possible to fully verify the properties of static policies, any reference to external state will necessarily limit the scope of such verification. In this paper we explore the feasibility of describing self-modifying policies which contain both rules for granting access and rules for the modification of the policy. Policy level constraints are used to define validity. Using these constraints it becomes possible to verify both the current state of the policy and any possible future states. A working prototype is described which utilises a relational model finder to perform the verification. The prototype is capable of generating instances of failure cases and presenting them via a simple user interface.
Nonparametric Boxed Belief Propagation for Localization in Wireless Sensor Networks
Authors: Vladimir Savic, Santiago Zazo
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

Obtaining estimates of each sensor’s position as well as accurately representing the uncertainty of that estimate is a critical step for effective application of wireless sensor networks (WSN). Nonparametric Belief Propagation (NBP) is a popular localization method which uses particle based approximation of belief propagation. In this paper, we present a new variant of NBP method which we call Nonparametric Boxed Belief Propagation (NBBP). The main idea is to constraint the area from which the samples are drawn by building a box that covers the region where anchors’ radio ranges overlap. These boxes, which are created almost without any additional communication between nodes, are also used to filter erroneous samples of the beliefs. In order to decrease the computational and the communication cost, we also added incremental approach using Kullback-Leibler (KL) divergence as a convergence parameter. Simulation results show that accuracy, computational and communication cost are significantly improved.
Cross-Cultural Design and Evaluation of the Apple iPhone
Authors: Michael A. Oren, Utkarsh Seth, Fei Huang, Sunghyun Kang
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

In this paper, we report the design and results of a study to improve the usability of the iPhone for a global audience, particularly in India and China. With extensive research in cultures of three countries China, India, and the United States, the iPhone interface was redesigned with an eye to culturally universal (for the three cultures of interest to this study) and ease of access of functions most used by mobile phone users in these cultures. Both the iPhone and the new prototype interfaces were tested to measure their usability and results are reported here.
Dynamic composition of holonic processes to satisfy timing constraints with minimal costs
Authors: Fu-Shiung Hsieh
Venue: Engineering Applications of Artificial Intelligence (2009)

The flexible architecture provided by holonic manufacturing systems (HMS) poses challenges in planning and control of production processes. The challenges are due, in part, to the loosely coupled structure of holons and also to the complex interactions among holons. Development of new methodologies is required to optimize the holonic processes in HMS to achieve the objectives. In this paper, we concentrate on the development of method for the composition of holonic processes. We consider the holonic processes composition (HPC) problem to synthesize processes with minimal costs while meeting the timing constraints in HMS. We formulate this problem based on a hybrid model in which contract net protocol is adopted as the negotiation protocol and timed Petri net is used to analyze the timing and resource constraints. To specify the costs of operations, we augment the timed Petri net with a cost function. We formulate an optimization problem to minimize the cost while meeting the timing constraints based on the Petri net models. A solution to HPC can be represented by a collaborative Petri net. Our methodologies include a condition to check whether the timing constraints can be met, a condition for the existence of an optimal solution to the HPC problem and a multi-layer contract net protocol to find the minimal cost solution.
Markovian arrival process parameter estimation with group data
Authors: Hiroyuki Okamura, Tadashi Dohi, Kishor S. Trivedi
Venue: IEEE/ACM Transactions on Networking (TON) (2009)

This paper addresses a parameter estimation problem of Markovian arrival process (MAP). In network traffic measurement experiments, one often encounters the group data where arrival times for a group are collected as one bin. Although the group data are observed in many situations, nearly all existing estimation methods for MAP are based on nongroup data. This paper proposes a numerical procedure for fitting a MAP and a Markov-modulated Poisson process (MMPP) to group data. The proposed algorithm is based on the expectation-maximization (EM) approach and is a natural but significant extension of the existing EM algorithms to estimate parameters of the MAP and MMPP. Specifically for the MMPP estimation, we provide an efficient approximation based on the proposed EM algorithm. We examine the performance of proposed algorithms via numerical experiments and present an example of traffic analysis with real traffic data.
MDPF: Minimum Distance Packet Forwarding for Search Applications in Mobile Ad Hoc Networks
Authors: Hassan Artail, Khaleel Mershad
Venue: IEEE Transactions on Mobile Computing (2009)

This paper introduces a message forwarding algorithm for search applications within mobile ad hoc networks that is based on the concept of selecting the nearest node from a set of designated nodes. The algorithm, which is called Minimum Distance Packet Forwarding (MDPF), uses routing information to select the node with the minimum distance. The goal of the proposed algorithm is to minimize the average number of hops taken to reach the node that holds the desired data. Numerical analysis and experimental evaluations using the network simulation software ns2 were performed to derive the lower and upper bounds of the confidence interval for the mean hop count between the source node of the data request, on one hand, and the node that holds the desired data and the last node in the set of search nodes, on the other hand. In the experimental evaluation, the performance of MDPF was compared to that of Random Packet Forwarding (RPF) and Minimal Spanning Tree Forwarding (MSTF). The results agreed with the numerical analysis results and demonstrated that MDPF offers significant hop count savings and smaller delays when compared to RPF and MSTF.
AIMMS 3.9 - User's Guide
Authors: Marcel Roelofs
Venue:  (2009)

The AIMMS 3.9 User's Guide provides a global overview of how to use the AIMMS system. It is aimed at application builders, and explores AIMMS' capabilities in helping you create a model-based application in an easy and maintainable manner. The guide describes the various graphical tools that the AIMMS system offers for this task. 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
Improving Chinese semantic role classification with hierarchical feature selection strategy
Authors: Weiwei Ding, Baobao Chang
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

In recent years, with the development of Chinese semantically annotated corpus, such as Chinese Proposition Bank and Normalization Bank, the Chinese semantic role labeling (SRL) task has been boosted. Similar to English, the Chinese SRL can be divided into two tasks: semantic role identification (SRI) and classification (SRC). Many features were introduced into these tasks and promising results were achieved. In this paper, we mainly focus on the second task: SRC. After exploiting the linguistic discrepancy between numbered arguments and ARGMs, we built a semantic role classifier based on a hierarchical feature selection strategy. Different from the previous SRC systems, we divided SRC into three sub tasks in sequence and trained models for each sub task. Under the hierarchical architecture, each argument should first be determined whether it is a numbered argument or an ARGM, and then be classified into fine-gained categories. Finally, we integrated the idea of exploiting argument interdependence into our system and further improved the performance. With the novel method, the classification precision of our system is 94.68%, which outperforms the strong baseline significantly. It is also the state-of-the-art on Chinese SRC.
A Multimodal Human-Robot-Interaction Scenario: Working Together with an Industrial Robot
Authors: Alexander Bannat, Jürgen Gast, Tobias Rehrl, Wolfgang Rösel, Gerhard Rigoll, Frank Wallhoff
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

In this paper, we present a novel approach for multimodal interactions between humans and industrial robots.The application scenario is situated in a factory, where a human worker is supported by a robot to accomplish a given hybrid assembly scenario, that covers manual and automated assembly steps. The robot is acting as an assistant as well as a fully autonomous assembly unit.For interacting with the presented system, the human is able to give his commands via three different input modalities (speech, gaze and the so-called soft-buttons).
Evaluation of a Foreground Segmentation Algorithm for 3D Camera Sensors
Authors: Luca Bianchi, Piercarlo Dondi, Riccardo Gatti, Luca Lombardi, Paolo Lombardi
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

Our interest is focusing on the innovative time-of-flight (TOF) cameras. In this paper we present our approach to foreground segmentation, based on smart-seeded region growing. The seeding strategy makes use of the characteristic intensity signal provided by TOF cameras, and growing is proved by experimental measurements to produce a pixel-wise segmentation of 82%-92% quality. Compared to background subtraction, our approach uses more explicitly the unique capacity of TOF cameras to isolate foreground objects on the basis of their distance. Our work will find an application in gate monitoring and passage surveillance.
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
Authors: Sebastian Mödersheim, Luca Viganò
Venue: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (2009)

We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the On-the-fly Model Checker (the previous OFMC). The native input language of OFMC is the AVISPA Intermediate Format IF. OFMC also supports AnB, a new Alice-and-Bob-style language that extends previous similar languages with support for algebraic properties of cryptographic operators and with a simple notation for different kinds of channels that can be used both as assumptions and as protocol goals. AnB specifications are automatically translated to IF.OFMC performs both protocol falsification and bounded session verification by exploring, in a demand-driven way, the transition system resulting from an IF specification. OFMC's effectiveness is due to the integration of a number of symbolic, constraint-based techniques, which are correct and terminating. The two major techniques are the lazy intruder, which is a symbolic representation of the intruder, and constraint differentiation, which is a general search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction. Moreover, OFMC allows one to analyze security protocols with respect to an algebraic theory of the employed cryptographic operators, which can be specified as part of the input. We also sketch the ongoing integration of fixed-point-based techniques for protocol verification for an unbounded number of sessions.
A Self-adapting Algorithm for Identifying Rheology Model and Its Parameters of Rock Mass
Authors: Bing-Rui Chen, Xia-Ting Feng, Chengxiang Yang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

As it is difficult to previously determine rockmass rheology constitutive model using phenomena methods of mechanics, so a new self-adapting system identification method, a hybrid genetic programming (GP) with the chaos-genetic algorithm(CGA) based on self-rheological characteristic of rock mass, is proposed. Genetic programming is used for exploring the model’s structure and the chaos-genetic algorithm is produced to identify parameters (coefficients) in the tentative model. The optimal rheological model is determined by mechanical and rheological characteristic, important expertise ect and can describe rheological behavior of identified rock mass perfectly. The assistant tunnel B of Jinping-2 hydropower station is used as an example for verifying the proposed method. The results show that the algorithm is feasible and has great potential in finding new rheological models.
Investigation of Web Usability Based on the Dialogue Principles
Authors: Masahiro Watanabe, Shunichi Yonemura, Yoko Asano
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

ISO 9241-110 standard provides user-interface design rules based on 7 dialogue principles. The priority of the principles varies depending on the characteristics of the tasks, the users, and the environments. We observed the behavior of middle-aged and older novice PC users when they performed some Web navigation tasks. We also pointed out some of the problems with usability, as discerned from the observations. We found that among the dialogue principles, self-descriptiveness is the most important. The observed problems, which were associated with the dialogue principles, suggest strategies for the enhancement of Web usability.
Augmented Reality System for Dental Implant Surgery
Authors: Satoshi Yamaguchi, Takafumi Ohtani, Hirofumi Yatani, Taiji Sohmura
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

Recently, computer-assisted navigation systems have been developed to realize safe and precise surgery. In conventional systems, surgeons feel anxious intra-operatively because they have to watch a surgical monitor while operating instruments in the oral cavity. The objective of this study is to develop a novel dental implant navigation system by combining the retinal projection head mounted display (RPHMD) and the augmented reality techniques that can directly overlay pre-operative simulation images onto the real view of the surgeon. In this paper, we propose an image overlay procedure based on the RPHMD and verify its accuracy.