ppxscal/embedding_network huggingface dataset:
Expanded Study of Protocol Based on NS-2's Need for New Packet Header Methods
Authors: Huali Wang
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Network Simulator has become an essential tool of studying network performance and designing network programme. NS-2 is an universially used network simulate software of various protocols, which can realize the simulation of network topology, protocol and the amount of sending data; therefore, it can get every network performance parameter from the simulated network act and control the network's running condition, making a general analysis of network performance, finding out the network bottleneck and perfecting network structure. This paper makes MFlood protocol as the study object, through adding completely new algorithms and protocols and needing new packet header to do the expanded study and realization of NS-2.
Towards model-based diagnosis of coordination failures
Authors: Meir Kalech, Gal A. Kaminka
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

With increasing deployment of multi-agent and distributed systems, there is an increasing need for failure diagnosis systems. While successfully tackling key challenges in multi-agent settings, model-based diagnosis has left open the diagnosis of coordination failures, where failures often lie in the boundaries between agents, and thus the inputs to the model--with which the diagnoser simulates the system to detect discrepancies--are not known. However, it is possible to diagnose such failures using a model of the coordination between agents. This paper formalizes model-based coordination diagnosis, using two coordination primitives (concurrence and mutual exclusion). We define the consistency-based and abductive diagnosis problems within this formalization, and show that both are NP-Hard by mapping them to other known problems.
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
Authors: Sibylle Fröschle, Graham Steel
Venue: Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers (2009)

We extend Delaune, Kremer and Steel's framework for analysis of PKCS#11-based APIs from bounded to unbounded fresh data. We achieve this by: formally defining the notion of an attribute policy; showing that a well-designed API should have a certain class of policy we call complete; showing that APIs with complete policies may be safely abstracted to APIs where the attributes are fixed; and proving that these static APIs can be analysed in a small bounded model such that security properties will hold for the unbounded case. We automate analysis in our framework using the SAT-based security protocol model checker SATMC. We show that a symmetric key management subset of the Eracom PKCS#11 API, used in their ProtectServer product, preserves the secrecy of sensitive keys for unbounded numbers of fresh keys and handles, i.e. pointers to keys. We also show that this API is not robust: if an encryption key is lost to the intruder, SATMC finds an attack whereby all the keys may be compromised.
Study on Assist Coefficient and Disturbance Resistance for EPS
Authors: Jianwei Wei, Minxiang Wei
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In this study, a nonlinear Electric Power Steering (EPS) system dynamic model based on road disturbance and torque sensor noise is investigated. In this paper, a new method of determining assist coefficient is proposed to obtain good driver’s feel, which is only relative to vehicle velocity. Evaluation indexes and an augmented system combined with the state space model of EPS are obtained. H∞ control theory is introduced to minimize road disturbance and sensor noise, and Linear Matrix Inequalities (LMIs) method is employed to design an optimal H∞ dynamic output feedback controller. Simulation results show that the controller has good robustness and can reduce the influence of disturbance. So it can maintain good driver’s feel and the system’s stability.
I Feel What You Feel: Empathy and Placebo Mechanisms for Autonomous Virtual Humans
Authors: Julien Saunier, Hazaël Jones, Domitile Lourdeaux
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Computational modeling of emotion, physiology and personality is a major challenge in order to design believable virtual humans. These factors have an impact on both the individual behavior and the collective one. This requires to take into account the empathy phenomenon. Furthermore, in a crisis simulation context where the virtual humans can be contaminated by radiological or chemical substances, empathy may lead to placebo or nocebo effects.Stemming from works in the multiagent systems domain, our virtual human decision process is designed as an autonomous agent. It has been shown that the environment can encapsulate the responsibility of spreading part of the agent state. The agent has two parts, its mind and its body. The mind contains the decision process and is autonomous. The body is influenced by the mind, but controlled by the environment which manages the empathy process. Combined with biased reasoning, favorable personality traits and situational factors, empathy can lead some agents to believe they are contaminated although they are not. We describe these mechanisms and show the results of several experiments.
Generative Modeling by PRISM
Authors: Taisuke Sato
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing it from various viewpoints, we examine some technical details related to logic programming, including semantics, search and program synthesis.
Tuning Metaheuristics: A Machine Learning Perspective, 1st ed. 2005. 2nd printing edition
Authors: Mauro Birattari
Venue: Studies In Computational Intelligence (2009)

The importance of tuning metaheuristics is widely acknowledged in scientific literature. However, there is very little dedicated research on the subject. Typically, scientists and practitioners tune metaheuristics by hand, guided only by their experience and by some rules of thumb. Tuning metaheuristics is often considered to be more of an art than a science. This book lays the foundations for a scientific approach to tuning metaheuristics. The fundamental intuition that underlies Birattari's approach is that the tuning problem has much in common with the problems that are typically faced in machine learning. By adopting a machine learning perspective, the author gives a formal definition of the tuning problem, develops a generic algorithm for tuning metaheuristics, and defines an appropriate experimental methodology for assessing the performance of metaheuristics. 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
A Study on the Interface for Viewing the Information Menu of a Town from Intersections Using a Digital Compass
Authors: Misa Tsuchihashi, Katsuhiko Ogawa
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

Recently, services providing information content that meet the needs of a user's current location, based on location information obtained by mobile terminals such as cell phones, have been increasing. In line with the widespread use of these Location-Based Services (LBS), digital compasses that obtain bearing information together with location information are also emerging. By using the digital compass with the location information, a higher level of information can be produced. In this paper, a "XingMenu Viewer" for viewing the information menu of a town from intersections using a digital compass is proposed. In the town exploration experiment using this viewer, it was observed that the exminee's perception of the town had expanded.
Agency Attribution in Human-Computer Interaction
Authors: John E. Mceneaney
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

Social psychologists have documented that people attribute a human-like agency to computers. Work in human motor cognition has identified a related effect known as "intentional binding" that may help explain this phenomenon. Briefly, intentional binding refers to an unconscious attribution of agency to sufficiently complex entities in our environments that influences how we perceive and interact with those entities. Two studies are presented that examine whether intentional binding, an agency effect observed when people interact with physical objects, also applies in virtual environments typical of human-computer interaction (HCI). Results of the studies indicate that agency effects are observed in human-computer interaction but these effects differ from those reported in physical environments. Results of the studies suggest that human perception and action may operate differently in virtual environments than in physical interactions.
Determination of the Optimal Hop Number for Wireless Sensor Networks
Authors: Jin Wang, Young-Koo Lee
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

Energy efficiency is one of the primary challenges to the successful application of wireless sensor networks (WSNs) since sensors can not be recharged easily once they are deployed. By carefully select the multi-hop number, energy consumption during routing process can be largely reduced and network lifetime can get prolonged. Although it is commonly agreed that multi-hop transmission is more energy efficient than direct transmission, especially when the source node is far away from sink node, how to determine the optimal hop number in both theoretical and practical network environment with constraint conditions is still a nontrivial problem. In this paper, we focus on theoretical deduction of the optimal hop number under one dimensional linear network environment. Then, we extend the deduced results to the practical sensor network. We also provide the selection of sub-optimal hop number under practical sensor network when the sensors are randomly deployed. The preliminary simulation results show that our optimal hop number based routing algorithm can save much more energy than many popular routing algorithms for WSNs.
A Scheme's Synchronization of Chua Chaotic System with Oscillating Parameters under the Impulsive Control
Authors: Yingkui Li
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Most Chaotic synchronization control methods have some flaws which increase the security risks of the communication system. Attacker can reconstruct the chaotic system or estimate parameters by using the information of the chaotic system which can be obtained by analyzing the control signal. Therefore we propose a scheme’s synchronization of Chua chaotic system with oscillating parameters under the impulsive control. In this paper, we proved that two systems can get synchronized without control signal transmitting.
A Virtual Data Source for Service Grids
Authors: Martin Husemann, Norbert Ritter
Venue: Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems (2009)

Service Grids allow providing all kinds of resources ranging from simple storage space to complex functionality. Provision of data, however, is usually limited to connecting data sources to the Grid via service- or document-oriented interfaces. This approach hardly implements the idea of virtualized, easy-to-use resources. We propose a virtual data source that provides structured data according to user demands instead of forcing users to adapt to existing data sources. To this end, existing data sources are selected by their suitability for a given query. Their individual results are then dynamically integrated into the overall result presented to the user. In this paper, we present the background, the main concepts and the architecture of our virtual data source.
A Virtual Tour Guide for Virtual Worlds
Authors: Dusan Jan, Antonio Roque, Anton Leuski, Jacki Morie, David Traum
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

In this paper we present an implementation of a embodied conversational agent that serves as a virtual tour guide in Second Life. We show how we combined the abilities of a conversational agent with navigation in the world and present some preliminary evaluation results.
How evolutionary algorithms are applied to statistical natural language processing
Authors: Lourdes Araujo
Venue: Artificial Intelligence Review (2007)

Statistical natural language processing (NLP) and evolutionary algorithms (EAs) are two very active areas of research which have been combined many times. In general, statistical models applied to deal with NLP tasks require designing specific algorithms to be trained and applied to process new texts. The development of such algorithms may be hard. This makes EAs attractive since they offer a general design, yet providing a high performance in particular conditions of application. In this article, we present a survey of many works which apply EAs to different NLP problems, including syntactic and semantic analysis, grammar induction, summaries and text generation, document clustering and machine translation. This review finishes extracting conclusions about which are the best suited problems or particular aspects within those problems to be solved with an evolutionary algorithm.
Curve Tracking Control for Autonomous Vehicles with Rigidly Mounted Range Sensors
Authors: Jonghoek Kim, Fumin Zhang, Magnus Egerstedt
Venue: Journal of Intelligent and Robotic Systems (2009)

In this paper, we present feedback control laws for an autonomous vehicle with rigidly mounted range sensors to track a desired curve. In particular, we consider a vehicle that has a group of rays around two center rays that are perpendicular to the velocity of the vehicle. Under such a sensor configuration, singularities are bound to occur in the curve tracking feedback control law when tracking concave curves. To overcome this singularity, we derive a hybrid strategy of switching between control laws when the vehicle gets close to singularities. Rigorous proof and extensive simulation results verify the validity of the proposed feedback control law.
Fostering e-Participation at the Urban Level: Outcomes from a Large Field Experiment
Authors: Fiorella Cindio, Cristian Peraboni
Venue: Proceedings of the 1st International Conference on Electronic Participation (2009)

e-participation software environments, more than other web applications, are "very early social machines" that need to "evolve through trial, use and refinement" with a twofold goal: learning from the field experience success and failure lessons and tuning the e-participation technologies. The paper presents the main outcomes of a large field experiment involving ten cities of the Lombardy region. After presenting the project and sketching the main characteristics of the ten municipalities, the paper explores the outcomes emerged from these experiences drawing some lessons about what can foster e-participation at the urban level and reduce the impact of the hindrances that may hamper it.
Sharing Map Annotations in Small Groups: X Marks the Spot
Authors: Ben Congleton, Jacqueline Cerretani, Mark W. Newman, Mark S. Ackerman
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Advances in location-sensing technology, coupled with an increasingly pervasive wireless Internet, have made it possible (and increasingly easy) to access and share information with context of one's geospatial location. We conducted a four-phase study, with 27 students, to explore the practices surrounding the creation, interpretation and sharing of map annotations in specific social contexts. We found that annotation authors consider multiple factors when deciding how to annotate maps, including the perceived utility to the audience and how their contributions will reflect on the image they project to others. Consumers of annotations value the novelty of information, but must be convinced of the author's credibility. In this paper we describe our study, present the results, and discuss implications for the design of software for sharing map annotations.
Automated document metadata extraction
Authors: Bolanle Adefowoke Ojokoh, Olumide Sunday Adewale, Samuel Oluwole Falaki
Venue: Journal of Information Science (2009)

Web documents are available in various forms, most of which do not carry additional semantics. This paper presents a model for general document metadata extraction. The model, which combines segmentation by keywords and pattern matching techniques, was implemented using PHP, MySQL, JavaScript and HTML. The system was tested with 40 randomly selected PDF documents (mainly theses). An evaluation of the system was done using standard criteria measures namely precision, recall, accuracy and F-measure. The results show that the model is relatively effective for the task of metadata extraction, especially for theses and dissertations. A combination of machine learning with these rule-based methods will be explored in the future for better results.
An Infocard-Based Proposal for Unified Single Sign on
Authors: Enrique de la Hoz, Antonio Garcia, Iván Marsa-Maestre, Miguel Ángel Lopez-Carmona, Bernardo Alarcos
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

During last years, service federation has been a hot topic for researchers all along the world. In that context, single sign on (SSO) access to services has risen as a major concern for this kind of environments and many proposals suited to several scenarios have been stated. We can think of eduroam an eduGAIN as two major examples of this, the former as a federated initiative to provide access to network and the latter as a confederated proposal to provide secure access to web (and non-web as grid) resources. Given that both architectures usually are deployed in a common security domain, it could be interesting to explore ways to bring both worlds together, that is, to find a way to get access as we get access to the network services. Currently, there are two disjoint actions: first get access to network, with its own authentication process, and second get access to other resources through eduGAIN. The process could be greatly simplified if a way is devised to unify both accesses what has been called unified Single Sing On (uSSO). In this work, we propose a novel framework to provide uSSO in that environment with minor modifications to existing deployments employing Infocard Technology.
What the Eyes Reveal: Measuring the Cognitive Workload of Teams
Authors: Sandra P. Marshall
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

This paper describes the measurement of cognitive workload using the Networked Evaluation System (NES). NES is a unique network of coordinated eye-tracking systems that allows monitoring of groups of decision makers working together in a single environment. Two implementations are described. The first is a military application with teams of officers working together on a simulated joint relief mission, and the second is a fatigue study with teams of individuals working together in a simulated lunar search and recovery mission.
A framework for evaluating business lead users' virtual reality innovations in Second Life
Authors: Kim Mackenzie, Sherrena Buckby, Helen Irvine
Venue: Electronic Commerce Research (2009)

This paper extends von Hippel's (Manag. Sci. 32(7):791---805, 1986) concept of lead users to a virtual reality environment. Three lead user groups, site developers, business firms and avatars, have a synergistic role to play in extending virtual reality from a social networking platform to a commercial one. The paper proposes a framework for assessing the extent to which innovative practices have been demonstrated by lead user business firms in a virtual setting. It applies the framework to twenty pioneering firms that operated within Second Life in 2007, from an avatar's perspective. The study's findings indicate that business firms made little use of digital agents, and provided few examples of bricolage. However, they exhibited higher levels of innovation in their use of telepresence and interactivity, which contributed to the achievement of flow. As a single-avatar study, the paper has limited generalizability, however studies with a wider scope will enable further development of this framework.
Medical Image De-noising Extended Model Based on Independent Component Analysis and Dynamic Fuzzy Function
Authors: Guangming Zhang, Xuefeng Xian, Zhiming Cui, Jian Wu
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Independent component analysis (ICA) is a statistical technique where the goal is to represent a set of random variables as a linear transformation of statistically independent component variables. This paper proposes a new extended model for CT medical image de-noising, which is using independent component analysis and dynamic fuzzy theory. Firstly, a random matrix was produce to separate the CT image into a separated image for estimate. Then dynamic fuzzy theory was applied to construct a series of adaptive membership functions to generate the weights degree of truth. At last, the weights degree was applied to optimize the value of matrix for image reconstruction. By applying this model, the selection of matrix could be optimized scientifically and self-adaptively. By contrast, this approach could remove more noises and reserve more details, and the efficiency of our approach is better than other traditional de-noising approaches.
Collaboration and knowledge integration
Authors: Libby Gerard, Erika Tate, Jennifer Chiu, Stephanie Corliss, Marcia Linn
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

We draw on three examples from the Technology Enhanced Learning in Science (TELS) project to show how collaborative activities designed following knowledge integration patterns contribute to science learning. By knowledge integration we refer to learners sorting out their many, often contradictory, ideas to develop coherent understanding. Research on instruction suggests four interrelated processes that jointly lead to integrated understanding: eliciting current ideas, adding new ideas, evaluating ideas, and sorting out ideas. These processes characterize design patterns that promote knowledge integration. We describe how knowledge integration patterns informed the design of collaborative activities for Chemical Reactions and report on the value of heterogeneity in small groups. We describe how teachers learned from each other while refining an on-line teacher's guide for Asthma. We describe how teachers engaged in collaborative customization of the plate tectonics unit and show that the revised unit resulted in improved student learning.